mortberg
Anders Mörtberg Joined Sept 2011 226 followers View on GitHub
- Stars
- 753
- across 4 public repos
- Rank
- #55,066
- of 327,333 users, top 17%
Repositories with 50+ stars
| Rank | Repository | Language | Stars |
|---|---|---|---|
| 104,611 | Experimental implementation of Cubical Type Theory | Haskell | 613 |
| 591,741 | yacctt: Yet Another Cartesian Cubical Type Theory | Haskell | 78 |
Among 327,333 users
630–1k stars: 22,317 users, including mortberg
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
- Haskell 691 stars, 92% · 2 repos
When they were made
2 repos with 50+ stars, made between 2015 and 2018
101001k yaccttcubicaltt
Quick stats
- Next rank
- +1 star to reach #54,993
- Next milestone
- +555 stars to reach the top 10%
- Public repos
- 4, 2 with 50+ stars
- Popular repos
- 1 over 100 stars
- Top repo
- cubicaltt, #104,611 of all repos, 81% of stars
- Smaller repos
- 62 stars from repos under 50