GitHub repository: oli-obk/miri
Primary language: Rust
Description: An experimental interpreter for Rust MIR