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 |