nikomatsakis

moro

Experiments with structured concurrency in Rust

rustacean-principles

skill-tree

Skill-tree rendering

rust-design-axioms

Discovering and describing Rust's design axioms

babysteps

Babysteps blog

lsrtm

Concurrency and parallelism in async Rust

ppl-2023

Talk for PPL2023

eurorust-2023

Talk for EuroRust 2023

mathema

An experimental flashcard program.

chalk-it-up

Chalk 2.0: a design document and planning repository

ena

An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.

coq-a-doodle-do

messing around with "Certified Programming with Dependent Types"

rfcs

RFCs for changes to Rust

talk-template

A template for talks I give

a-mir-formality-ndm

a model of MIR and the Rust type/trait system

americano

Experimental calendaring software

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.

ECE290-2023

Talk for ECE290 at UCSC

hilt-2022

Talk for HILT 2022

lalrpop

LR(1) parser generator for Rust

lsrtm-2022-09

LSRTM 2022-09

nikomatsakis-babysteps-theme

Theme for my babysteps blog

wg-async-foundations

Working group dedicated to improving the foundations of Async I/O in Rust

blog.rust-lang.org

duchess-ndm

Experiments with Java-Rust interop

lang-team

Home of the Rust language design team.

lsrtm-2023-05

LSRTM: Error handling

rfcs-1

Rayon RFC repo (experimental)

team

Rust teams structure

triagebot

Triage Bot