MIRAI

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

Rank

3371 29

Git Repositories

MIRAI

Started

2018-11-06 2,352 days ago

GitHub Stars

1,002 #2,857

Weekly commits since inception
2018 2021 2025

Weekly contributors since inception
2018 2021 2025

Recent Project Activity

Past 30 days 0 commits #2,569 0 contributors #2,569
Past 90 days 0 commits #2,967 0 contributors #2,967
Past 365 days 13 commits #2,943 1 contributors #3,138
Past 1095 days 104 commits #3,072 7 contributors #3,157
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 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 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)