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

Compare with

250–400 stars: 77,419 repos, including a-mir-formality

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

Stars counted Recounted daily Next count around