Idris
languages / Idris1,069Developers
Top ranked
| Rank | Developer | Repos | Stars | |
|---|---|---|---|---|
| 1 |  | edwinb | 18 | 1,982 |
| 2 |  | idris-lang | 1 | 1,832 |
| 3 |  | idris-hackers | 12 | 1,155 |
| 4 |  | stefan-hoeck | 32 | 407 |
| 5 |  | mmhelloworld | 5 | 382 |
| 6 |  | typedefs | 2 | 358 |
| 7 |  | ziman | 11 | 353 |
| 8 |  | joaomilho | 2 | 353 |
| 9 |  | statebox | 6 | 308 |
| 10 |  | david-christiansen | 9 | 290 |
1,867Repos
Top ranked
| Rank | Repo | Stars | Developer | |
|---|---|---|---|---|
 | 1 | Idris2 | 1,832 | idris-lang |
| 2 | Idris2-boot | 916 | edwinb |
| 3 | Blodwen | 546 | edwinb |
| 4 | software-foundations | 419 | idris-hackers |
| 5 | idris-jvm | 376 | mmhelloworld |
| 6 | typedefs | 357 | typedefs |
| 7 | awesome-idris | 352 | joaomilho |
| 8 | lightyear | 234 | ziman |
| 9 | idris-ct | 231 | statebox |
| 10 | iridium | 201 | puffnfresh |
Most popular
| Topic | Repos | Stars |
|---|---|---|
| dependent-types | 21 | 1,995 |
| compiler | 4 | 1,890 |
| hacktoberfest | 1 | 1,832 |
| book | 2 | 425 |
| theorem-proving | 2 | 420 |
| functional-programming | 7 | 410 |
| jvm | 1 | 376 |
| java | 1 | 376 |
| types | 1 | 357 |
| type-definitions | 1 | 357 |