5-day longest streak
Santiago Pastorino - @spastorino :wave:, my name is Santiago Pastorino and I'm a software engineer from Uruguay. I'm a co-founder at WyeWorks, a Rust compiler team contributor and Types team…
Santiago Pastorino - @spastorino
:wave:, my name is Santiago Pastorino and I'm a software engineer from Uruguay. I'm a co-founder at WyeWorks, a Rust compiler team contributor and Types team member.
Rust
I mostly contribute to the compiler of the Rust programming language.
Here's a summary of my mostly noteworthy contributions:
- Rust Compiler RPITIT refactor - Refactored RPITIT code to lower RPITs in traits as a GAT.
- Rust Compiler - Ergonomic Ref Counting.
- Rust Compiler MIR - Helped with Non-Lexical Lifetimes (NLL) implementation; implemented various MIR optimizations including MIR 2.0 Place refactor.
- Rust Compiler negative impls in coherence - Implemented the first version of negative impls in coherence that allowed the Error trait to be moved into core.
- Rust Compiler Const-Eval - Implemented a first minimal version of inline consts RFC 2920.
- Rustc Dev Guide: Leading the working group, writing and helping organizing the documentation effort.
- Lead Rustc Prioritization working group: prioritizing Rust compiler issues, fixed a lot of critical and high priority issues and support for the Rust compiler and Rust Lang team meetings.
- Lead Rustc Meta working group: helped organize the MCP process and the Rust compiler structure.
- Cargo Bisect Rustc: automated the tool to find regressions in the Rust compiler in a simpler way.
Contact
Feel free to send me an email to [[email protected]](mailto:[email protected])
-
rust ★ PINNED ⑂
a safe, concurrent, practical language
Rust ★ 0 3mo agoExplain → -
rustc-dev-guide ★ PINNED ⑂
A guide to how rustc works and how to contribute to it.
Shell ★ 0 1y agoExplain → -
compiler-team ★ PINNED ⑂
A home for compiler team planning documents, meeting minutes, and other such things.
★ 0 2y agoExplain → -
cargo-bisect-rustc ★ PINNED ⑂
Bisects rustc, either nightlies or CI artifacts
★ 0 6y agoExplain → -
triagebot ★ PINNED ⑂
Triage Bot
Rust ★ 0 1y agoExplain → -
rails ★ PINNED ⑂
Ruby on Rails http:/www.rubyonrails.org
Ruby ★ 3 11y agoExplain → -
dynosaur
No description.
Rust ★ 245 11mo agoExplain → -
my_emacs_for_rails
Emacs init file and plugins to enhance Ruby on Rails development experience
Emacs Lisp ★ 105 5y agoExplain → -
vinimum
My vim distribution
Vim script ★ 50 3y agoExplain → -
why-rust
Why Rust? OSS talk
HTML ★ 18 9mo agoExplain → -
coffee-rails
rails/coffee-rails is the official repo
Ruby ★ 16 5y agoExplain → -
todo-rails-api-ember-frontend
No description.
JavaScript ★ 11 11y agoExplain → -
todo-rails-api-ember-backend
No description.
Ruby ★ 11 11y agoExplain → -
exceptron
Exceptron comes from the future to make your exceptions rock!
Ruby ★ 8 15y agoExplain → -
contributing-to-rustc
No description.
CSS ★ 5 1y agoExplain → -
contributing-to-rustc-exercises
Fork of rustc with exercises
Rust ★ 4 1y agoExplain → -
rails-benchs
Some Rails benches that work across Rails versions and can be used to compare perf progress
Ruby ★ 3 16y agoExplain → -
rush
No description.
Rust ★ 3 7y agoExplain → -
arch-installation
No description.
Shell ★ 1 3mo agoExplain → -
intro-to-traits
Intro to Traits OSS talk
HTML ★ 1 7mo agoExplain → -
intro-to-rust-workshop
Intro to Rust OSS workshop
HTML ★ 1 8mo agoExplain → -
exceptron_example
No description.
Ruby ★ 1 15y agoExplain → -
bundler ⑂
Gemfiles are fun
Ruby ★ 1 14y agoExplain → -
puma ⑂
A ruby web server built for concurrency
Ruby ★ 1 10y agoExplain → -
gnome-shell-extension-system76-power ⑂
System76 Power Management Extension
TypeScript ★ 1 3y agoExplain → -
team ⑂
Rust teams structure
Rust ★ 1 6mo agoExplain → -
rust-by-example ⑂
Learn Rust with examples (Live code editor included)
Rust ★ 1 11y agoExplain → -
enginex ⑂
An executable which creates a bare Rails 3 engine (which is going to be used in my upcoming Rails 3 book)
Ruby ★ 1 15y agoExplain → -
will_paginate ⑂
Adaptive pagination plugin for web frameworks and other applications
Ruby ★ 1 16y agoExplain → -
rvm ⑂
Ruby enVironment (Version) Manager ( rvm )
Shell ★ 1 15y agoExplain → -
rails-bare
https://github.com/spastorino/rails-api
★ 1 14y agoExplain → -
nvim
nvim configuration
Lua ★ 0 6mo agoExplain → -
spastorino
No description.
★ 0 6mo agoExplain → -
blog
No description.
HTML ★ 0 7mo agoExplain → -
spastorino.github.io
Personal home page
HTML ★ 0 7mo agoExplain → -
intro-to-rust
Intro to Rust OSS talk
HTML ★ 0 8mo agoExplain → -
wasm-bindgen ⑂
Interoperating JS and Rust code
Rust ★ 0 8y agoExplain → -
c2rust ⑂
Migrate C code to Rust
★ 0 1y agoExplain → -
www.rust-lang.org ⑂
The home of the Rust website
★ 0 1y agoExplain → -
reference ⑂
The Rust Reference
★ 0 1y agoExplain → -
edition-guide ⑂
A guide to changes between various editions of Rust
★ 0 1y agoExplain → -
rust-project-goals ⑂
Rust Project Goals tracker
★ 0 20d agoExplain → -
calendar-generation ⑂
Generate iCalendar documents from calendar specifications in TOML. See rust-lang/calendar.
★ 0 2y agoExplain → -
stdarch ⑂
Rust's standard library vendor-specific APIs and run-time feature detection
Rust ★ 0 2y agoExplain → -
calendar ⑂
Calendars for Rust project teams
★ 0 1mo agoExplain → -
ruby-build ⑂
Compile and install Ruby
Shell ★ 0 14y agoExplain → -
rake ⑂
A make-like build utility for Ruby.
Ruby ★ 0 12y agoExplain → -
sidekiq ⑂
Simple, efficient message processing for Ruby
Ruby ★ 0 14y agoExplain → -
rack ⑂
a modular Ruby webserver interface
Ruby ★ 0 13y agoExplain → -
twitter ⑂
API wrapper for Twitter and Twitter Search API's
Ruby ★ 0 16y agoExplain → -
rubinius ⑂
Rubinius, the Ruby VM
Ruby ★ 0 15y agoExplain → -
journey ⑂
A router for rails
Ruby ★ 0 14y agoExplain → -
rack-cache ⑂
Real HTTP Caching for Ruby Web Apps
Ruby ★ 0 14y agoExplain → -
hirb ⑂
A mini view framework for console/irb that's easy to use, even while under its influence. Console goodies include a no-wrap table, auto-pager, tree and menu.
Ruby ★ 0 16y agoExplain → -
arel ⑂
A Relational Algebra
Ruby ★ 0 16y agoExplain → -
devise ⑂
Flexible authentication solution for Rails with Warden.
Ruby ★ 0 13y agoExplain → -
rails_xss ⑂
A plugin for rails 2.3.7 or higher apps which switches the default to escape by default
Ruby ★ 0 15y agoExplain → -
thor ⑂
A scripting framework that replaces rake and sake
Ruby ★ 0 12y agoExplain → -
i18n ⑂
Internationalization (i18n) library for Ruby
Ruby ★ 0 15y agoExplain → -
dalli ⑂
High performance memcached client for Ruby
Ruby ★ 0 14y agoExplain → -
rustc_codegen_cranelift ⑂
Cranelift based backend for rustc
★ 0 6y agoExplain → -
a-mir-formality ⑂
a PLT redex model of MIR and its type system
★ 0 2y agoExplain → -
highfive ⑂
Github hooks to provide an encouraging atmosphere for new contributors
★ 0 3y agoExplain → -
lang-team ⑂
Home of the Rust language design team.
★ 0 4y agoExplain → -
impl-trait-initiative ⑂
Impl trait lang team initiative
★ 0 4y agoExplain → -
rust-prehistory ⑂
historical archive of rust pre-publication development
★ 0 5y agoExplain → -
chalk ⑂
An implementation and definition of the Rust trait system using a PROLOG-like logic solver
★ 0 5y agoExplain → -
rustaceans.org ⑂
Backing data for
★ 0 5y agoExplain → -
system76-firmware ⑂
System76 Firmware Tool and Daemon
Rust ★ 0 5y agoExplain → -
rfcbot-rs ⑂
Coordinates asynchronous decision making on Rust repositories. Status of tracked issues and PRs can be viewed at https://rfcbot.rs.
★ 0 5y agoExplain → -
timetill.rs ⑂
A community website for highlighting Rust conferences.
★ 0 6y agoExplain → -
rustc-perf ⑂
Website for graphing performance of rustc
★ 0 6y agoExplain → -
cargo ⑂
The Rust package manager
★ 0 6y agoExplain → -
all-hands-2020 ⑂
Website for the Rust All Hands 2020
★ 0 6y agoExplain → -
letter ⑂
No description.
★ 0 6y agoExplain → -
blog.rust-lang.org ⑂
The Rust Programming Language Blog
★ 0 5y agoExplain → -
rustc-rayon ⑂
Rayon: A data parallelism library for Rust
★ 0 6y agoExplain → -
meetup_bot ⑂
No description.
★ 0 6y agoExplain → -
rust-forge ⑂
Information useful to people contributing to Rust
★ 0 3y agoExplain → -
tide ⑂
Empowering everyone to build HTTP Services
Rust ★ 0 7y agoExplain → -
cargo-bisect-sample
No description.
Rust ★ 0 6y agoExplain → -
barcelona.rustfest.eu ⑂
RustFest Barcelona 2019
HTML ★ 0 6y agoExplain → -
async-book ⑂
Asynchronous Programming in Rust
★ 0 6y agoExplain → -
tide-workshop ⑂
No description.
Rust ★ 0 7y agoExplain → -
mio ⑂
Metal IO library for Rust
Rust ★ 0 8y agoExplain → -
polonius ⑂
Defines the Rust borrow checker.
Rust ★ 0 8y agoExplain → -
rust-clippy ⑂
A bunch of lints to catch common mistakes and improve your Rust code
Rust ★ 0 6y agoExplain → -
miri ⑂
An interpreter for Rust's mid-level intermediate representation
Rust ★ 0 6y agoExplain → -
vim-projectionist ⑂
projectionist.vim: Granular project configuration
Vim script ★ 0 7y agoExplain → -
rust-wasm ⑂
A point of coordination for all things rust+wasm
★ 0 8y agoExplain → -
trace
No description.
Rust ★ 0 8y agoExplain → -
nll ⑂
Experimenting with NLL
Rust ★ 0 8y agoExplain → -
rust-anthology ⑂
Learn Rust from the best
Shell ★ 0 8y agoExplain → -
rust.vim ⑂
Vim configuration for Rust.
Vim script ★ 0 9y agoExplain → -
bare-bones ⑂
a skeleton of the intermezzos kernel
Assembly ★ 0 9y agoExplain → -
cargo-incremental ⑂
A fuzzing tool for incremental compilation that walks git history
Rust ★ 0 9y agoExplain → -
book ⑂
The Rust Programming Language
Rust ★ 0 9y agoExplain → -
homebrew-core ⑂
:beers: Core formulae for the Homebrew package manager
Ruby ★ 0 10y agoExplain → -
guides ⑂
The source for http://guides.emberjs.com
Ruby ★ 0 10y agoExplain → -
magic_lamp ⑂
Gets your Rails templates/json into your JavaScript specs.
Ruby ★ 0 10y agoExplain → -
todomvc ⑂
Helping you select an MV* framework - Todo apps for Backbone.js, Ember.js, AngularJS, and many more
JavaScript ★ 0 11y agoExplain → -
homebrew-formula ⑂
Formulae for Homebrew
Ruby ★ 0 13y agoExplain → -
rack-mount ⑂
Stackable dynamic tree based Rack router
Ruby ★ 0 15y agoExplain → -
ruby ⑂
The Ruby Programming Language
Ruby ★ 0 11y agoExplain → -
ruby-install ⑂
Installs Ruby, JRuby, Rubinius, MagLev or MRuby
Shell ★ 0 12y agoExplain → -
rubymeetup
No description.
Ruby ★ 0 12y agoExplain → -
active_model_serializers ⑂
ActiveModel::Serializer implementation and Rails hooks
Ruby ★ 0 12y agoExplain → -
zsh_conf
My very ugly zsh configs
Shell ★ 0 13y agoExplain → -
ey_services_api ⑂
gem for Partners to talk to the Services API
Ruby ★ 0 13y agoExplain → -
json-api ⑂
A shared media type for JSON APIs.
Ruby ★ 0 13y agoExplain → -
chruby ⑂
Changes the current Ruby
Shell ★ 0 13y agoExplain → -
homebrew ⑂
The missing package manager for OS X.
Ruby ★ 0 11y agoExplain →
No repos match these filters.