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

rustnl-2024

Type theory for busy engineers

lsrtm

Concurrency and parallelism in async Rust

eurorust-2023

Talk for EuroRust 2023

genasynciter

sketching a possible approach to generator/iterator traits

salsa

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

rustnation-24

ena

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

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

asmble

Compile WebAssembly to JVM and other WASM tools

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.

intro-to-rust.edu

A general intro to Rust intended for giving at university PL courses

jubilant-giggle

lalrpop

LR(1) parser generator for Rust

team-goals-2024

Team goals 2024

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

lsrtm-2023-05

LSRTM: Error handling

rfcs-1

Rayon RFC repo (experimental)

rust-project-goals-ndm

Rust Project Goals tracker

team

Rust teams structure

triagebot

Triage Bot

urlsession-rust-async-bridge