Pinned Repositories
borrowck
Modeling NLL and the Rust borrowck
fields-in-traits-rfc
An (experimental) RFC repo devoted to the "fields in traits" RFC.
gnome-class
Some experimental macros for GNOME integration
how-to-rust
A collection of blog posts and links that talk about how to successfully use Rust.
intorust
Learn Rust real good.
moro
Experiments with structured concurrency in Rust
office-hours
Help me help you!
rust-design-axioms
Discovering and describing Rust's design axioms
rustacean-principles
skill-tree
Skill-tree rendering
nikomatsakis's Repositories
nikomatsakis/moro
Experiments with structured concurrency in Rust
nikomatsakis/rustacean-principles
nikomatsakis/skill-tree
Skill-tree rendering
nikomatsakis/rust-design-axioms
Discovering and describing Rust's design axioms
nikomatsakis/babysteps
Babysteps blog
nikomatsakis/rust-of-my-dreams
A playground for thinking about what Rust could be like
nikomatsakis/rustnl-2024
Type theory for busy engineers
nikomatsakis/lsrtm
Concurrency and parallelism in async Rust
nikomatsakis/eurorust-2023
Talk for EuroRust 2023
nikomatsakis/genasynciter
sketching a possible approach to generator/iterator traits
nikomatsakis/salsa
A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
nikomatsakis/rustnation-24
nikomatsakis/dare-to-ask-for-more
A playground for thinking about what Rust could be like
nikomatsakis/rfcs
RFCs for changes to Rust
nikomatsakis/talk-template
A template for talks I give
nikomatsakis/a-mir-formality-ndm
a model of MIR and the Rust type/trait system
nikomatsakis/asmble
Compile WebAssembly to JVM and other WASM tools
nikomatsakis/dada
I speak only of myself since I do not wish to convince, I have no right to drag others into my river, I oblige no one to follow me and everybody practices his art in his own way.
nikomatsakis/intro-to-rust.edu
A general intro to Rust intended for giving at university PL courses
nikomatsakis/jubilant-giggle
nikomatsakis/lalrpop
LR(1) parser generator for Rust
nikomatsakis/team-goals-2024
Team goals 2024
nikomatsakis/wg-async-foundations
Working group dedicated to improving the foundations of Async I/O in Rust
nikomatsakis/blog.rust-lang.org
nikomatsakis/duchess-ndm
Experiments with Java-Rust interop
nikomatsakis/lsrtm-2023-05
LSRTM: Error handling
nikomatsakis/rfcs-1
Rayon RFC repo (experimental)
nikomatsakis/rust-project-goals-ndm
Rust Project Goals tracker
nikomatsakis/team
Rust teams structure
nikomatsakis/urlsession-rust-async-bridge