Idris
languages / Idris1,177Developers
Top ranked
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 1 |  | idris-lang | 1 | 2,471 |
| 2 |  | edwinb | 18 | 1,996 |
| 3 |  | idris-hackers | 12 | 1,206 |
| 4 |  | stefan-hoeck | 50 | 685 |
| 5 |  | mmhelloworld | 5 | 479 |
| 6 |  | joaomilho | 2 | 386 |
| 7 |  | ziman | 11 | 369 |
| 8 |  | typedefs | 2 | 368 |
| 9 |  | statebox | 6 | 334 |
| 10 |  | david-christiansen | 9 | 300 |
2,129Repos
Top ranked
| Rank | Repo | Stars | Developer | |
|---|---|---|---|---|
 | 1 | Idris2 | 2,471 | idris-lang |
| 2 | Idris2-boot | 904 | edwinb |
| 3 | Blodwen | 540 | edwinb |
| 4 | idris-jvm | 469 | mmhelloworld |
| 5 | software-foundations | 453 | idris-hackers |
| 6 | awesome-idris | 385 | joaomilho |
| 7 | typedefs | 365 | typedefs |
| 8 | idris-ct | 253 | statebox |
| 9 | lightyear | 239 | ziman |
| 10 | iridium | 204 | puffnfresh |