nikomatsakis

how-to-rust

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

dyner

Experimenting with ergonomic dyn types

rust-tutorials-keynote

Keynote versions of my Rust tutorials.

plmw-2022

Talk to be given at PLMW 2022

polonius.next

experimental datalog rules for a next gen polonius

rust-skill-tree

A (WIP) skill tree for Rust

great-pl-papers

Exploring awesome PL papers in redex

context-capabilities-initiative

learn-some-rust-this-month

Code snippets for Rust discussions

salsa

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

rust

A work-in-progress programming language; not yet suitable for users

lsrtm-2022-05

Talking about async Rust

2022-06-15-blogpost

dwim

Who *doesn't* want the computer to just do what they mean?!

iFood-Tech-Day-2022

rustc-dev-guide

A guide to how rustc works and how to contribute to it.

rustverify2022

Presentation for Rust Verify 2022

chalk-ndm

A PROLOG-ish interpreter written in Rust, intended eventually for use in the compiler

enimerosi

github notification manager (super megaduper experimental)

skillsmatter2022

Skills Matter 2022

minirust

A precise specification for "Rust lite / MIR plus"

mnemosyne

Learn in the cloud

salsa-meets-dafny

website

code for alumxi.com

async-fundamentals-initiative

aws-toolkit-demo

generic-associated-types-initiative

Generic Associated Types lang team initiative

random-url

Pick from random URLs.

remindotron

Remindotron

wain

WebAssembly implementation from scratch in Safe Rust with zero dependencies