MIRAI

An abstract interpreter for the Rust compiler's mid-level intermediate representation (MIR)

Compiler
Rust Interpreter
started in 2018
1,206 commits
27 contributors

Rank

3387 26

Git Repositories

Started

2018-11-06 2,443 days ago

GitHub Stars

1,002 #2,854

Weekly commits since inception
2018 2021 2025

Weekly contributors since inception
2018 2021 2025

Recent Project Activity

Time Period Commits Contributors
Past 30 days 0 commits #2,483 0 contributors #2,483
Past 90 days 0 commits #2,873 0 contributors #2,873
Past 365 days 3 commits #3,189 1 contributors #3,114
Past 1095 days 92 commits #3,067 6 contributors #3,183
All time 1,206 commits 27 contributors

Contributing Individuals

Contributor 30 days 90 days 365 days 1095 days All time
1 Herman Venter
0 0 0 0 1,013
2 hermanventer
0 0 3 85 96
3 Darion Cassel
0 0 0 0 38
4 Di Wang
0 0 0 0 18
5 Arnaud J. Venet
0 0 0 3 3
6 Wolfgang Grieskamp
0 0 0 0 8
7 Di Wang
0 0 0 0 5
8 Rashmi Mudduluru
0 0 0 0 4
9 François Garillot MystenLabs
0 0 0 0 3
9 David Michael
0 0 0 1 1
9 Jaeho Lee
0 0 0 1 1
9 Justus Adam
0 0 0 1 1
9 Taiga TAKANO
0 0 0 1 1
14 Jeremy Fitzhardinge
0 0 0 0 1
14 Disconnect3d
0 0 0 0 1
14 Ari Lotter
0 0 0 0 1
14 Shantanu
0 0 0 0 1
14 Vytautas Astrauskas
0 0 0 0 1
14 Tommy Chiang
0 0 0 0 1
14 François Garillot
0 0 0 0 1
Showing 1 to 20 of 27 results
Previous Next

Add the OSSRank badge to this project

OSSRank Badge Add this OSSRank shield to your project's README.md
[![OSSRank](https://shields.io/endpoint?url=https://ossrank.com/shield/3236)](https://ossrank.com/p/3236)