HoTT/
A textbook on informal homotopy type theory
by Homotopy Type Theory TeX 382 forks Created Nov 2012 View on GitHub
- Stars
- 2,177
- 52% of HoTT's stars
- Rank
- #31,287
- of 848,034 repos, top 4%
- In TeX
- #75
- of 2,724 repos, top 3%
Among 848,034 repos
1.6k–2.5k stars: 15,644 repos, including book
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 #31,272
- Next milestone
- +5,065 stars to reach the top 1%
- Popular
- One of 66,502 repos with 1k+ stars
- Yearly average
- 155 stars a year since Nov 2012