MIRAI

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

Rank

3360 17

Git Repositories

MIRAI

Started

2018-11-06 2,340 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,581 0 contributors #2,581
Past 90 days 0 commits #2,982 0 contributors #2,982
Past 365 days 13 commits #2,951 1 contributors #3,148
Past 1095 days 105 commits #3,069 8 contributors #3,102
All time 1,206 commits 27 contributors

Contributing Individuals

Commits past X days
30 90 365 1095 All
1 Herman Venter 0 0 0 1 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 Jaeho Lee 0 0 0 1 1
9 Justus Adam 0 0 0 1 1
9 Taiga TAKANO 0 0 0 1 1
15 Jeremy Fitzhardinge 0 0 0 0 1
15 Disconnect3d 0 0 0 0 1
15 Ari Lotter 0 0 0 0 1
15 Shantanu 0 0 0 0 1
15 Vytautas Astrauskas 0 0 0 0 1
15 François Garillot 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)