| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| idris-lang/Idris2 | IdrisCScheme | 2.2k | +7 | 346 | 0 |
| udem-dlteam/ribbit | SchemeShellC | 392 | +1 | 40 | 0 |
| edwinb/Yaffle | IdrisCScheme | 82 | 0 | 17 | 0 |
| stefan-hoeck/idris2-pack | IdrisShellOther | 68 | 0 | 15 | 0 |
| channable/dbcritic | IdrisNixMakefile | 167 | 0 | 3 | 0 |
| AndrasKovacs/smalltt | LeanIdrisAgda | 472 | 0 | 23 | 0 |
| stefan-hoeck/idris2-elab-util | IdrisMakefile | 73 | 0 | 17 | 0 |
| anoma/geb | IdrisCommon LispAgda | 22 | 0 | 8 | 0 |
| ECburx/Idris2GL | IdrisCMakefile | 68 | 0 | 9 | 0 |
| jfdm/velo-lang | IdrisTeXOther | 11 | 0 | 1 | 0 |
| stefan-hoeck/idris2-tutorial | IdrisVim Script | 148 | 0 | 18 | 0 |
| mmhelloworld/idris-jvm | IdrisJavaC | 457 | 0 | 26 | 0 |
| anoma/research | IdrisTeXPython | 20 | 0 | 0 | 0 |
| kbertalan/idris2-go | IdrisGoOther | 5 | 0 | 0 | 0 |
| stefan-hoeck/idris2-dom-mvc | IdrisOther | 16 | 0 | 2 | 0 |