idris-lang/
An empty code generator, to be used as a starting point for any new back ends.
by idris-lang Haskell Other licence 18 forks Created Mar 2015 View on GitHub
- Stars
- 52
- 1% of idris-lang's stars
- Rank
- #813,594
- of 851,984 repos, top 96%
- In Haskell
- #1,940
- of 2,043 repos, top 95%
Among 851,984 repos
40–63 stars: 143,700 repos, including idris-emptycg
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 #801,369
- Next milestone
- +5 stars to reach the top 90%
- Yearly average
- 4 stars a year since Mar 2015