GitHub repository: pullmana8/MIRAI
Description: Rust mid-level IR Abstract Interpreter