be5invis/
Optimized JS codegen for Idris
Archived by Belleve Haskell Other licence 2 forks Created Apr 2017 View on GitHub
- Stars
- 54
- <1% of be5invis's stars
- Rank
- #790,071
- of 852,204 repos, top 93%
Among 852,204 repos
40–63 stars: 143,722 repos, including idris-codegen-es
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 #778,652
- Next milestone
- +3 stars to reach the top 90%
- Yearly average
- 6 stars a year since Apr 2017