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 |