MIRAI

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

Rank

3342 7

Git Repositories

MIRAI

Started

2018-11-06 2,300 days ago

GitHub Stars

1,002 #2,858

Weekly commits since inception
2018 2021 2025

Weekly contributors since inception
2018 2021 2025

Recent Project Activity

Past 30 days 0 commits #2,602 0 contributors #2,602
Past 90 days 0 commits #2,970 0 contributors #2,970
Past 365 days 13 commits #2,964 1 contributors #3,144
Past 1095 days 120 commits #3,031 9 contributors #3,058
All time 1,206 commits 27 contributors

Contributing Individuals

Commits past X days
30 90 365 1095 All
1 Herman Venter 0 0 0 15 1,013
2 hermanventer 0 0 13 96 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 Tommy Chiang 0 0 0 1 1
9 Hongbo 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
16 Jeremy Fitzhardinge 0 0 0 0 1
16 Disconnect3d 0 0 0 0 1
16 Ari Lotter 0 0 0 0 1
16 Shantanu 0 0 0 0 1
16 Vytautas Astrauskas 0 0 0 0 1
Showing 1 to 20 of 27 results Previous Next

Add this OSSRank shield to this project's README.md

[![OSSRank](https://shields.io/endpoint?url=https://ossrank.com/shield/3236)](https://ossrank.com/p/3236)