sweirich/
Examples of Dependently-typed programs in Haskell
by Stephanie Weirich Haskell MIT licence 22 forks Created Jul 2014 View on GitHub
- Stars
- 309
- 19% of sweirich's stars
- Rank
- #192,379
- of 851,984 repos, top 23%
- In Haskell
- #376
- of 2,043 repos, top 19%
Among 851,984 repos
250–400 stars: 77,404 repos, including dth
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 #191,812
- Next milestone
- +47 stars to reach the top 20%
- Popular
- One of 490,650 repos with 100+ stars
- Yearly average
- 25 stars a year since Jul 2014