AndrasKovacs/
Implementation for ICFP 2020 paper
by András Kovács TeX 2 forks Created Feb 2020 View on GitHub
- Stars
- 53
- 2% of AndrasKovacs's stars
- Rank
- #801,374
- of 851,992 repos, top 95%
- In TeX
- #2,553
- of 2,738 repos, top 94%
Among 851,992 repos
40–63 stars: 143,707 repos, including implicit-fun-elaboration
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 #789,873
- Next milestone
- +4 stars to reach the top 90%
- Yearly average
- 8 stars a year since Feb 2020