Idris
languages / Idris1,125Developers
Top ranked
Rank | Developer | Repos | Stars | |
---|---|---|---|---|
1 | ![]() | idris-lang | 1 | 2,107 |
2 | ![]() | edwinb | 18 | 1,988 |
3 | ![]() | idris-hackers | 12 | 1,165 |
4 | ![]() | stefan-hoeck | 39 | 510 |
5 | ![]() | mmhelloworld | 5 | 453 |
6 | ![]() | typedefs | 2 | 370 |
7 | ![]() | joaomilho | 2 | 366 |
8 | ![]() | ziman | 11 | 360 |
9 | ![]() | statebox | 6 | 328 |
10 | ![]() | david-christiansen | 9 | 292 |
2,008Repos
Top ranked
Rank | Repo | Stars | Developer | |
---|---|---|---|---|
![]() | 1 | Idris2 | 2,107 | idris-lang |
![]() | 2 | Idris2-boot | 913 | edwinb |
![]() | 3 | Blodwen | 543 | edwinb |
![]() | 4 | idris-jvm | 444 | mmhelloworld |
![]() | 5 | software-foundations | 430 | idris-hackers |
![]() | 6 | typedefs | 367 | typedefs |
![]() | 7 | awesome-idris | 365 | joaomilho |
![]() | 8 | idris-ct | 247 | statebox |
![]() | 9 | lightyear | 236 | ziman |
![]() | 10 | iridium | 201 | puffnfresh |