runtimeverification/
by Runtime Verification Inc. Python BSD-3-Clause licence 5 forks Created Jul 2022 View on GitHub
- Stars
- 56
- 2% of runtimeverification's stars
- Rank
- #767,299
- of 851,984 repos, top 91%
- In Python
- #155,799
- of 173,300 repos, top 90%
Among 851,984 repos
40–63 stars: 143,702 repos, including mir-semantics
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 #756,630
- Next milestone
- +1 star to reach the top 90%
- Yearly average
- 13 stars a year since Jul 2022