Agda
languages / Agda1,321Developers
Top ranked
Rank | Developer | Repos | Stars | |
---|---|---|---|---|
1 | agda | 15 | 1,746 | |
2 | plfa | 1 | 1,310 | |
3 | pigworker | 21 | 747 | |
4 | martinescardo | 3 | 434 | |
5 | HoTT | 2 | 427 | |
6 | gallais | 17 | 420 | |
7 | cedille | 3 | 400 | |
8 | EgbertRijke | 2 | 359 | |
9 | liamoc | 4 | 317 | |
10 | plt-amy | 1 | 292 |