nomeata/ veggies
Hopefully verifiable code generation in GHC
by Joachim Breitner Haskell 6 forks Created Mar 2017 View on GitHub
- Stars
- 94
- 3% of nomeata's stars
- Rank
- #510,417
- of 851,984 repos, top 60%
- In Haskell
- #1,150
- of 2,043 repos, top 57%
Among 851,984 repos
63–100 stars: 217,634 repos, including veggies
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 #506,251
- Next milestone
- +25 stars to reach the top 50%
- Yearly average
- 10 stars a year since Mar 2017