jameshaydon/
A code-generator for Idris that targets Elixir
by James Haydon Haskell 1 fork Created Dec 2017 View on GitHub
- Stars
- 63
- 13% of jameshaydon's stars
- Rank
- #699,638
- of 851,984 repos, top 83%
- In Haskell
- #1,637
- of 2,043 repos, top 81%
Among 851,984 repos
63–100 stars: 217,630 repos, including idris-elixir
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 #691,228
- Next milestone
- +3 stars to reach the top 80%
- Yearly average
- 7 stars a year since Dec 2017