AndrasKovacs
András Kovács Joined Jun 2012 559 followers View on GitHub
- Stars
- 2,670
- across 56 public repos
- Rank
- #15,796
- of 327,331 users, top 5%
Repositories with 50+ stars
| Rank | Repository | Language | Stars |
|---|---|---|---|
| 80,867 | Minimal implementations for dependent type checking and elaboration | Haskell | 811 |
| 105,253 | Demo for high-performance type theory elaboration | Lean | 609 |
| 290,274 | Staged compilation with dependent types | TeX | 189 |
| 299,511 | Fast parsing from bytestrings | Haskell | 182 |
| 528,208 | high-performance cubical evaluation | TeX | 90 |
| 629,892 | Demo for dependent types + runtime code generation | Haskell | 72 |
| 674,819 | Prototype implementations of systems based on setoid type theory | Haskell | 66 |
| 699,651 | System F-omega normalization by hereditary substitution in Agda | Agda | 63 |
| 699,651 | Staged push/pull fusion with typed Template Haskell | Haskell | 63 |
| 746,223 | Lambda normalization and conversion checking benchmarks for various implementations | Haskell | 58 |
| 801,374 | Implementation for ICFP 2020 paper | TeX | 53 |
Among 327,331 users
2.5k–4k stars: 6,822 users, including AndrasKovacs
Stars along the bottom, and users in each band on a log scale
Where the stars are
Languages
- Haskell 1.3k stars, 47% · 6 repos
- Lean 609 stars, 23% · 1 repo
- TeX 332 stars, 12% · 3 repos
- Agda 63 stars, 2% · 1 repo
When they were made
11 repos with 50+ stars, made between 2016 and 2024
Quick stats
- Next rank
- +1 star to reach #15,793
- Next milestone
- +7,196 stars to reach the top 1%
- Public repos
- 56, 11 with 50+ stars
- Popular repos
- 4 over 100 stars
- Top repo
- elaboration-zoo, #80,867 of all repos, 30% of stars
- Smaller repos
- 414 stars from repos under 50