Top Idris repos
languages / Idris / global2,097 repos
| Rank | Repo | Stars | Developer | |
|---|---|---|---|---|
 | 11 | idris-demos | 191 | idris-hackers |
| 12 | idris-koans | 176 | idris-hackers |
| 13 | idris2-tutorial | 174 | stefan-hoeck |
| 14 | dbcritic | 169 | channable |
| 15 | TypeDD-Samples | 161 | edwinb |
| 16 | quantities | 156 | timjb |
| 17 | idris2-lsp | 155 | idris-community |
| 18 | Idris2-Erlang | 139 | chrrasmussen |
| 19 | order-taking | 130 | andorp |
| 20 | idris2048 | 121 | KesterTong |