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 |