Top Idris repos
languages / Idris / global2,097 repos
| 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 |