GitHub repository: nikomatsakis/a-mir-formality-ndm
Primary language: Rust
Description: a model of MIR and the Rust type/trait system