Idris

repotechsstarsweeklyforksweekly
idris-lang/Idris2IdrisCScheme2.1k+7338+1
edwinb/YaffleIdrisCRacket800170
udem-dlteam/ribbitSchemeShellC3730350
stefan-hoeck/idris2-packIdrisShellOther57013+1
channable/dbcriticIdrisNixMakefile166030
AndrasKovacs/smallttLeanIdrisAgda4440230
stefan-hoeck/idris2-elab-utilIdrisMakefile730160
anoma/gebIdrisCommon LispAgda14070
ECburx/Idris2GLIdrisCMakefile6609+1
jfdm/velo-langIdrisTeXOther10010
stefan-hoeck/idris2-tutorialIdrisVim Script1360170
mmhelloworld/idris-jvmIdrisJavaC4440240
anoma/researchIdrisTeXPython20000
kbertalan/idris2-goIdrisGoOther5000

Popular technologies

Popular topics