ucsd-progsys/ liquidhaskell-tutorial
Tutorial for LiquidHaskell
by ucsd-progsys JavaScript MIT licence 29 forks Created Jan 2015 View on GitHub
- Stars
- 82
- 4% of ucsd-progsys's stars
- Rank
- #568,732
- of 851,984 repos, top 67%
- In JavaScript
- #66,713
- of 99,799 repos, top 67%
Among 851,984 repos
63–100 stars: 217,634 repos, including liquidhaskell-tutorial
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 #563,211
- Next milestone
- +12 stars to reach the top 60%
- Yearly average
- 7 stars a year since Jan 2015