uhub/
A curated list of awesome Coq frameworks, libraries and software.
by uhub 16 forks Created Aug 2015 View on GitHub
- Stars
- 236
- 1% of uhub's stars
- Rank
- #241,675
- of 851,984 repos, top 29%
Among 851,984 repos
160–250 stars: 104,058 repos, including awesome-coq
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 #240,856
- Next milestone
- +120 stars to reach the top 20%
- Popular
- One of 490,652 repos with 100+ stars
- Yearly average
- 21 stars a year since Aug 2015