Top Idris developers globally
languages / Idris / global1,166 developers
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 11 |  | puffnfresh | 5 | 268 |
| 12 |  | jfdm | 22 | 180 |
| 13 |  | idris-community | 5 | 178 |
| 14 |  | andorp | 10 | 175 |
| 15 |  | channable | 1 | 169 |
| 16 |  | timjb | 2 | 164 |
| 17 |  | chrrasmussen | 3 | 148 |
| 18 |  | gallais | 5 | 138 |
| 19 |  | clayrat | 30 | 137 |
| 20 |  | KesterTong | 2 | 126 |