HoTT
Homotopy Type Theory Joined Mar 2011 View on GitHub
- Stars
- 4,203
- across 7 public repos
- Rank
- #8,104
- of 95,338 organizations, top 9%
Repositories with 50+ stars
| Rank | Repository | Language | Stars |
|---|---|---|---|
| 31,293 | A textbook on informal homotopy type theory | TeX | 2,177 |
| 48,755 | A Coq library for Homotopy Type Theory | Rocq Prover | 1,407 |
| 140,315 | Development of homotopy type theory in Agda | Agda | 442 |
| 451,371 | EPIT 2020 - Spring School on Homotopy Type Theory | TeX | 110 |
Among 95,338 organizations
4k–6.3k stars: 2,614 organizations, including HoTT
top 50%top 10%top 1%top 0.1% 
Stars along the bottom, and organizations in each band on a log scale
Where the stars are
Languages
- TeX 2.3k stars, 54% · 2 repos
- Rocq Prover 1.4k stars, 33% · 1 repo
- Agda 442 stars, 11% · 1 repo
When they were made
4 repos with 50+ stars, made between 2011 and 2021
1001k10k HoTT-AgdaCoq-HoTTbook
Quick stats
- Next rank
- +1 star to reach #8,102
- Next milestone
- +30,767 stars to reach the top 1%
- Public repos
- 7, 4 with 50+ stars
- Popular repos
- 4 over 100 stars, 2 over 1k stars
- Top repo
- book, #31,293 of all repos, 52% of stars
- Smaller repos
- 67 stars from repos under 50