jwiegley/
A library for formalizing Haskell types and functions in Coq
by John Wiegley Coq BSD-3-Clause licence 13 forks Created Aug 2014 View on GitHub
- Stars
- 172
- 1% of jwiegley's stars
- Rank
- #313,924
- of 852,119 repos, top 37%
Among 852,119 repos
160–250 stars: 104,093 repos, including coq-haskell
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 #312,426
- Next milestone
- +49 stars to reach the top 30%
- Popular
- One of 490,778 repos with 100+ stars
- Yearly average
- 14 stars a year since Aug 2014