MIRAI

MIRAI 是 Rust 编译器 中级中间表示 (MIR) 的抽象解释器。它最初是一个 Facebook 项目，但在赞助组织解散后变成了孤儿项目。现在，为了让项目继续生存，相关工作正在 [https://github.com/endorlabs/MIRAI.] 进行。