GitHub repository: kosai-ksdfounder/miri
Primary language: Rust
Description: An interpreter for Rust's mid-level intermediate representation