Top Agda developers globally
languages / Agda / global1,330 developers
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 11 |  | UlfNorell | 12 | 289 |
| 12 |  | UniMath | 1 | 206 |
| 13 |  | conal | 12 | 196 |
| 14 |  | jsiek | 5 | 192 |
| 15 |  | effectfully | 14 | 180 |
| 16 |  | wenkokke | 11 | 178 |
| 17 |  | jonsterling | 26 | 168 |
| 18 |  | AndrasKovacs | 9 | 166 |
| 19 |  | scott-fleischman | 17 | 163 |
| 20 |  | copumpkin | 2 | 154 |