martinescardo
Martin Escardo Joined Apr 2013 251 followers View on GitHub
- Stars
- 900
- across 10 public repos
- Rank
- #46,689
- of 327,331 users, top 15%
Repositories with 50+ stars
| Rank | Repository | Language | Stars |
|---|---|---|---|
| 176,524 | HoTTEST Summer School materials | TeX | 341 |
| 203,553 | Logical manifestations of topological concepts, and other things, via the univalent point of view. | Agda | 289 |
| 239,213 | Lecture notes on univalent foundations of mathematics with Agda | Agda | 239 |
Among 327,331 users
630–1k stars: 22,316 users, including martinescardo
top 50%top 10%top 1%top 0.1% 
Stars along the bottom, and users in each band on a log scale
Where the stars are
Languages
- Agda 528 stars, 59% · 2 repos
- TeX 341 stars, 38% · 1 repo
When they were made
3 repos with 50+ stars, made between 2018 and 2022
1001k HoTT-UF-Agda-Lecture-NotesTypeTopologyHoTTEST-Summer-School
Quick stats
- Next rank
- +1 star to reach #46,649
- Next milestone
- +408 stars to reach the top 10%
- Public repos
- 10, 3 with 50+ stars
- Popular repos
- 3 over 100 stars
- Top repo
- HoTTEST-Summer-School, #176,524 of all repos, 38% of stars
- Smaller repos
- 31 stars from repos under 50