Idris
languages / Idris1,070Developers
Top ranked
Rank | Developer | Repos | Stars | |
---|---|---|---|---|
1 | ![]() | edwinb | 18 | 1,981 |
2 | ![]() | idris-hackers | 12 | 1,163 |
3 | ![]() | stefan-hoeck | 32 | 461 |
4 | ![]() | mmhelloworld | 5 | 384 |
5 | ![]() | typedefs | 2 | 363 |
6 | ![]() | joaomilho | 2 | 359 |
7 | ![]() | ziman | 11 | 357 |
8 | ![]() | statebox | 6 | 319 |
9 | ![]() | david-christiansen | 9 | 291 |
10 | ![]() | puffnfresh | 5 | 264 |
1,889Repos
Top ranked
Rank | Repo | Stars | Developer | |
---|---|---|---|---|
![]() | 1 | Idris2-boot | 914 | edwinb |
![]() | 2 | Blodwen | 544 | edwinb |
![]() | 3 | software-foundations | 427 | idris-hackers |
![]() | 4 | idris-jvm | 378 | mmhelloworld |
![]() | 5 | typedefs | 361 | typedefs |
![]() | 6 | awesome-idris | 358 | joaomilho |
![]() | 7 | idris-ct | 238 | statebox |
![]() | 8 | lightyear | 236 | ziman |
![]() | 9 | iridium | 200 | puffnfresh |
![]() | 10 | idris-demos | 190 | idris-hackers |
Most popular
Topic | Repos | Stars |
---|---|---|
hacktoberfest | 1 | 1,844 |
book | 2 | 429 |
theorem-proving | 2 | 424 |
functional-programming | 7 | 415 |
jvm | 1 | 377 |
java | 1 | 377 |
types | 1 | 359 |
type-definitions | 1 | 359 |
serialization-library | 1 | 359 |
type-driven-development | 1 | 353 |