HigherOrderCO/
A modern proof language
by HigherOrderCO Haskell MIT licence 152 forks Created Jul 2018 View on GitHub
- Stars
- 3,764
- 24% of HigherOrderCO's stars
- Rank
- #17,725
- of 847,188 repos, top 3%
Among 847,188 repos
2.5k–4k stars: 10,605 repos, including Kind
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 #17,723
- Next milestone
- +3,469 stars to reach the top 1%
- Popular
- One of 66,346 repos with 1k+ stars
- Yearly average
- 452 stars a year since Jul 2018