DimaSamoz
Dima Szamozvancev Joined Jan 2016 42 followers View on GitHub
- Stars
- 436
- across 14 public repos
- Rank
- #88,859
- of 327,332 users, top 28%
Repositories with 50+ stars
| Rank | Repository | Language | Stars |
|---|---|---|---|
| 163,457 | A Haskell library for typesafe music composition | Haskell | 372 |
| 778,438 | Agda formalisation of second-order abstract syntax | Agda | 55 |
Among 327,332 users
400–630 stars: 31,258 users, including DimaSamoz
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 372 stars, 85% · 1 repo
- Agda 55 stars, 13% · 1 repo
When they were made
2 repos with 50+ stars, made between 2016 and 2021
101001k agda-soasmezzo
Quick stats
- Next rank
- +1 star to reach #88,684
- Next milestone
- +184 stars to reach the top 20%
- Public repos
- 14, 2 with 50+ stars
- Popular repos
- 1 over 100 stars
- Top repo
- mezzo, #163,457 of all repos, 85% of stars
- Smaller repos
- 9 stars from repos under 50