Agda
languages / Agda1,173Developers
Top ranked
Rank | Developer | Repos | Stars | |
---|---|---|---|---|
1 | ![]() | agda | 15 | 1,665 |
2 | ![]() | plfa | 1 | 1,273 |
3 | ![]() | pigworker | 21 | 736 |
4 | ![]() | martinescardo | 3 | 424 |
5 | ![]() | HoTT | 2 | 419 |
6 | ![]() | gallais | 16 | 401 |
7 | ![]() | cedille | 3 | 383 |
8 | ![]() | EgbertRijke | 2 | 355 |
9 | ![]() | liamoc | 4 | 316 |
10 | ![]() | UlfNorell | 12 | 285 |