Agda
languages / Agda1,049Developers
Top ranked
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 1 |  | agda | 13 | 1,291 |
| 2 |  | plfa | 1 | 1,146 |
| 3 |  | pigworker | 21 | 707 |
| 4 |  | HoTT | 2 | 388 |
| 5 |  | gallais | 16 | 370 |
| 6 |  | cedille | 3 | 348 |
| 7 |  | EgbertRijke | 2 | 341 |
| 8 |  | martinescardo | 3 | 317 |
| 9 |  | liamoc | 4 | 314 |
| 10 |  | UlfNorell | 12 | 271 |
2,046Repos
Top ranked
| Rank | Repo | Stars | Developer | |
|---|---|---|---|---|
 | 1 | plfa.github.io | 1,146 | plfa |
| 2 | agda-stdlib | 465 | agda |
| 3 | HoTT-Agda | 366 | HoTT |
| 4 | HoTT-Intro | 336 | EgbertRijke |
| 5 | cubical | 321 | agda |
| 6 | cedille | 318 | cedille |
| 7 | learn-you-an-agda | 310 | liamoc |
| 8 | agda-categories | 278 | agda |
| 9 | CS410-17 | 235 | pigworker |
| 10 | HoTT-UF-Agda-Lecture-Notes | 195 | martinescardo |
Most popular
| Topic | Repos | Stars |
|---|---|---|
| book | 3 | 1,278 |
| proof-assistant | 4 | 1,190 |
| programming-languages | 2 | 1,146 |
| hott | 2 | 702 |
| proof | 3 | 538 |
| dependent-types | 6 | 488 |
| library | 3 | 473 |
| homotopy-type-theory | 8 | 377 |
| homotopy | 1 | 366 |
| lambda-calculus | 7 | 363 |