facebookexperimental/MIRAI

Rust mid-level IR Abstract Interpreter

Rust

1,011

192 commits

updated Aug 22, 2024

See the code

README

MIRAI

MIRAI is an abstract interpreter for the Rust compiler's mid-level intermediate representation (MIR).

It started out as a Facebook project, but became orphaned when the sponsoring organization was disbanded.

Ongoing work to keep the project alive now happens at https://github.com/endorlabs/MIRAI.

Project health

Overall

3.9/10

Maintained

0/10

Code review

1/10

OpenSSF Scorecard

Significant stargazers

(top 24 of 64)

Tony Arcieri

2,012 followers · starred Oct 2019

Yosh

3,424 followers · starred Apr 2021

Tao He

462 followers · starred Jun 2019

Mazdak Farrokhzad

281 followers · starred Mar 2019

Similar repos

rust-lang/rustc_public

Define compiler intermediate representation usable by external tools

128

facebookarchive/clangir

💀 The former home of clangir, now part of the official LLVM incubator. See website below for…

154

garritfra/qbe-rs

QBE IR in natural Rust data structures

135

opencompl/lean-mlir-old

embedding MLIR in LEAN

llvm/clangir

💀💀💀 The former home of clangir incubator, now part of the official llvm-project.

581

vnmakarov/mir

A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and…

2,663

minirust/minirust

A precise specification for "Rust lite / MIR plus"

1,012

endorlabs/MIRAI

230