Agda
languages / Agda1,180Developers
Top ranked
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 1 |  | agda | 15 | 1,559 |
| 2 |  | plfa | 1 | 1,228 |
| 3 |  | pigworker | 21 | 725 |
| 4 |  | HoTT | 2 | 410 |
| 5 |  | gallais | 16 | 388 |
| 6 |  | martinescardo | 3 | 383 |
| 7 |  | cedille | 3 | 365 |
| 8 |  | EgbertRijke | 2 | 354 |
| 9 |  | liamoc | 4 | 315 |
| 10 |  | UlfNorell | 12 | 278 |
