nikomatsakis Goto Github PK

2022-06-15-blogpost

a-mir-formality-ndm

a model of MIR and the Rust type/trait system

agendas

TC39 meeting agendas

almost_ord

arewefastyet

arewefastyet.com

ascii-canvas

simple canvas for drawing lines and styled text and emitting to the terminal

asmble

Compile WebAssembly to JVM and other WASM tools

async-book

Asynchronous Programming in Rust

async-fn-in-traits

Playground for async fn in traits

async-fundamentals-initiative

aws-toolkit-demo

babysteps

Babysteps blog

bidir-type-infer

Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust

blog.rust-lang.org

borrowck

Modeling NLL and the Rust borrowck

bors-ng.github.io

bors.tech

boston-rust-artwork

Citgo sign forever

cargo

The Rust package manager

cargo-apply

cargo-chrono

a cargo benchmarking tool

cargo-incremental

A fuzzing tool for incremental compilation that walks git history

chalk-it-up

Chalk 2.0: a design document and planning repository

chalk-ndm

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

clap-rs

A full featured, fast Command Line Argument Parser for Rust

classic-light

compiler-team

A home for compiler team planning documents, meeting minutes, and other such things.

concurrency-tutorial

Rust concurrency tutorial examples

context-capabilities-initiative

coq-a-doodle-do

messing around with "Certified Programming with Dependent Types"

core-team

A place to house minutes and other documents related to the core team.