An interpreter for Rust's mid-level intermediate representation - View it on GitHub