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

Compare with

63–100 stars: 217,634 repos, including veggies

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

Stars counted Recounted daily Next count around