| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| idris-lang/Idris2 | IdrisCScheme | 2.1k | +7 | 338 | +1 |
| edwinb/Yaffle | IdrisCRacket | 80 | 0 | 17 | 0 |
| udem-dlteam/ribbit | SchemeShellC | 373 | 0 | 35 | 0 |
| stefan-hoeck/idris2-pack | IdrisShellOther | 57 | 0 | 13 | +1 |
| channable/dbcritic | IdrisNixMakefile | 166 | 0 | 3 | 0 |
| AndrasKovacs/smalltt | LeanIdrisAgda | 444 | 0 | 23 | 0 |
| stefan-hoeck/idris2-elab-util | IdrisMakefile | 73 | 0 | 16 | 0 |
| anoma/geb | IdrisCommon LispAgda | 14 | 0 | 7 | 0 |
| ECburx/Idris2GL | IdrisCMakefile | 66 | 0 | 9 | +1 |
| jfdm/velo-lang | IdrisTeXOther | 10 | 0 | 1 | 0 |
| stefan-hoeck/idris2-tutorial | IdrisVim Script | 136 | 0 | 17 | 0 |
| mmhelloworld/idris-jvm | IdrisJavaC | 444 | 0 | 24 | 0 |
| anoma/research | IdrisTeXPython | 20 | 0 | 0 | 0 |
| kbertalan/idris2-go | IdrisGoOther | 5 | 0 | 0 | 0 |