Top Idris developers globally
languages / Idris / global1,168 developers
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 21 |  | joom | 2 | 122 |
| 22 |  | vmchale | 6 | 115 |
| 23 |  | bamboo | 4 | 104 |
| 24 |  | QuentinDuval | 6 | 80 |
| 25 |  | mattpolzin | 10 | 76 |
| 26 |  | Russoul | 8 | 73 |
| 27 |  | ECburx | 1 | 71 |
| 28 |  | japesinator | 5 | 67 |
| 29 |  | joelberkeley | 2 | 66 |
| 30 |  | SimonJF | 2 | 66 |