ucsd-progsys/
A tiny language for teaching and experimenting with Refinement Types
by ucsd-progsys Haskell MIT licence 5 forks Created Oct 2018 View on GitHub
- Stars
- 50
- 2% of ucsd-progsys's stars
- Rank
- #838,789
- of 851,984 repos, top 99%
- In Haskell
- #2,004
- of 2,043 repos, top 99%
Among 851,984 repos
40–63 stars: 143,700 repos, including mist
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 #826,021
- Next milestone
- +7 stars to reach the top 90%
- Yearly average
- 6 stars a year since Oct 2018