GitHub repository: minirust/minirust
Primary language: Rust
Description: A precise specification for "Rust lite / MIR plus"