HoTT/
A Coq library for Homotopy Type Theory
by Homotopy Type Theory Rocq Prover Other licence 205 forks Created Mar 2011 View on GitHub
- Stars
- 1,407
- 33% of HoTT's stars
- Rank
- #48,783
- of 851,984 repos, top 6%
Among 851,984 repos
1k–1.6k stars: 23,673 repos, including Coq-HoTT
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 #48,747
- Next milestone
- +5,811 stars to reach the top 1%
- Popular
- One of 66,562 repos with 1k+ stars
- Yearly average
- 90 stars a year since Mar 2011