Niko Matsakis

moro. Experiments with structured concurrency in Rust

how-to-rust. A collection of blog posts and links that talk about how to successfully use Rust.

rustacean-principles. Handlebars

skill-tree. Skill-tree rendering

office-hours. Help me help you!

borrowck. Modeling NLL and the Rust borrowck

rust-design-axioms. Discovering and describing Rust's design axioms

fields-in-traits-rfc. An (experimental) RFC repo devoted to the "fields in traits" RFC.

rayon. Rayon: A data parallelism library for Rust

gnome-class. Some experimental macros for GNOME integration

nll-rfc. Non-lexical lifetimes RFC.

bidir-type-infer. Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust

dogged. Experimental persistent collections in Rust

rust-redex. A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety

perf-focus. A perf script for helping to answer queries about how much time a given function occupies, where it is called from, and so forth.

babysteps. Babysteps blog

rustypop. A not-yet-functional Rust parser written in LALRPOP.

cargo-incremental. A fuzzing tool for incremental compilation that walks git history

dyner. Experimenting with ergonomic dyn types

rust-tutorials-keynote. Keynote versions of my Rust tutorials.

rust-etags. Exuberant ctags language definition for Rust.

rust-of-my-dreams. A playground for thinking about what Rust could be like

great-pl-papers. Exploring awesome PL papers in redex

rustnl-2024. Type theory for busy engineers

concurrency-tutorial. Rust concurrency tutorial examples

plmw-2022. Talk to be given at PLMW 2022

polonius.next. experimental datalog rules for a next gen polonius

rust-ctags. ctags definition for Rust

rust-skill-tree. A (WIP) skill tree for Rust

rusty-peg. Rust

mutable. Tinkering with a more ergonomic cell abstraction

rust-belt-rust-2019. Polonius talk at RBR 2019

rust-tutorializer. A very basic framework for publishing and experimenting with sample code for Rust tutorials. Also includes a collection of lecture plans. Currently for my own personal use, but maybe evolvable into something byeond that.

rust-name-resolution-algorithm. A prototype of my proposed name resolution algorithm for Rust.

ppl-2023. Talk for PPL2023

pliss-2019. Slides for PLISS 2019

salsa. A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.

rust-runtime-benchmarks. Some benchmarks for testing rustc performance.

chalk-it-up. Chalk 2.0: a design document and planning repository

effect-system-rust-design-doc-2025-06.

rusty-logic. Lean