Agda
languages / Agda1,090Developers
Top ranked
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 1 |  | agda | 13 | 1,363 |
| 2 |  | plfa | 1 | 1,194 |
| 3 |  | pigworker | 21 | 716 |
| 4 |  | HoTT | 2 | 394 |
| 5 |  | gallais | 16 | 380 |
| 6 |  | martinescardo | 3 | 362 |
| 7 |  | cedille | 3 | 356 |
| 8 |  | EgbertRijke | 2 | 349 |
| 9 |  | liamoc | 4 | 315 |
| 10 |  | UlfNorell | 12 | 274 |
2,113Repos
Top ranked
| Rank | Repo | Stars | Developer | |
|---|---|---|---|---|
 | 1 | plfa.github.io | 1,194 | plfa |
| 2 | agda-stdlib | 491 | agda |
| 3 | HoTT-Agda | 372 | HoTT |
| 4 | cubical | 349 | agda |
| 5 | HoTT-Intro | 344 | EgbertRijke |
| 6 | cedille | 323 | cedille |
| 7 | learn-you-an-agda | 311 | liamoc |
| 8 | agda-categories | 294 | agda |
| 9 | CS410-17 | 241 | pigworker |
| 10 | HoTT-UF-Agda-Lecture-Notes | 202 | martinescardo |
Most popular
| Topic | Repos | Stars |
|---|---|---|
| book | 3 | 1,292 |
| proof-assistant | 5 | 1,205 |
| programming-languages | 1 | 1,160 |
| hott | 2 | 708 |
| proof | 3 | 545 |
| dependent-types | 8 | 492 |
| library | 4 | 480 |
| homotopy-type-theory | 8 | 395 |
| homotopy | 1 | 367 |
| lambda-calculus | 7 | 365 |