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