rust-lang/ a-mir-formality
a model of MIR and the Rust type/trait system
by The Rust Programming Language Rust Apache-2.0 licence 81 forks Created Feb 2022 View on GitHub
- Stars
- 372
- <1% of rust-lang's stars
- Rank
- #163,445
- of 852,272 repos, top 20%
- In Rust
- #5,536
- of 24,093 repos, top 23%
Among 852,272 repos
250–400 stars: 77,419 repos, including a-mir-formality
top 50%top 10%top 1%top 0.1%
Stars along the bottom, and repos in each band on a log scale
Quick stats
- Next rank
- +1 star to reach #163,083
- Next milestone
- +395 stars to reach the top 10%
- Popular
- One of 490,881 repos with 100+ stars
- Yearly average
- 78 stars a year since Feb 2022