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