Idris
languages / Idris1,167Developers
Top ranked
Rank | Developer | Repos | Stars | |
---|---|---|---|---|
1 | idris-lang | 1 | 2,392 | |
2 | edwinb | 18 | 1,993 | |
3 | idris-hackers | 12 | 1,193 | |
4 | stefan-hoeck | 46 | 622 | |
5 | mmhelloworld | 5 | 472 | |
6 | joaomilho | 2 | 381 | |
7 | typedefs | 2 | 367 | |
8 | ziman | 11 | 365 | |
9 | statebox | 6 | 330 | |
10 | david-christiansen | 9 | 295 |
2,097Repos
Top ranked
Rank | Repo | Stars | Developer | |
---|---|---|---|---|
1 | Idris2 | 2,392 | idris-lang | |
2 | Idris2-boot | 905 | edwinb | |
3 | Blodwen | 540 | edwinb | |
4 | idris-jvm | 463 | mmhelloworld | |
5 | software-foundations | 446 | idris-hackers | |
6 | awesome-idris | 380 | joaomilho | |
7 | typedefs | 364 | typedefs | |
8 | idris-ct | 249 | statebox | |
9 | lightyear | 238 | ziman | |
10 | iridium | 204 | puffnfresh |