Top Agda developers globally
languages / Agda / global1,337 developers
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 21 |  | ice1000 | 1 | 136 |
| 22 |  | jespercockx | 15 | 132 |
| 23 |  | scmu | 3 | 130 |
| 24 |  | Saizan | 7 | 127 |
| 25 |  | alhassy | 3 | 122 |
| 26 |  | thehottgame | 1 | 121 |
| 27 |  | HoTT-Intro | 1 | 119 |
| 28 |  | mietek | 18 | 111 |
| 29 |  | FrozenWinters | 6 | 103 |
| 30 |  | sstucki | 3 | 102 |