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