Similar repositories to melted/idris-lua:
danistefanovic/build-your-own-x
github
similar
melted/idris-lua
github
similar
hecrj/iced
github
similar
motemen/gore
github
similar
ocharles/ghc-nix
github
similar
clayrat/idris-functors
github
similar
stefan-hoeck/idris2-subsets
github
similar
CodingCellist/idris2-skeletons
github
similar
bkomuves/AOC
github
similar
billstclair/duello
github
similar
camelpunch/roguedris
github
similar
CodingCellist/idris2-dot-parse
github
similar
madman-bob/idris2-xml
github
similar
stefan-hoeck/idris2-prim
github
similar
stefan-hoeck/idris2-webidl
github
similar
ziman/idris-bytes
github
similar
alexhumphreys/hello-idris2
github
similar
andorp/TaPL
github
similar
madman-bob/idris2-python
github
similar
madman-bob/idris2-table
github
similar
edwinb/IdrisApp
github
similar
eckart/gl-idris
github
similar
mattpolzin/harmony
github
similar
idris-industry/idris-ffi-example
github
similar
kbertalan/tyttp
github
similar
ECburx/Idris2GL
github
similar
jdolson/univalence-from-scratch
github
similar
andorp/IdrisExtSTGCodegen
github
similar
kasiaMarek/TyRE
github
similar
tlikonen/cl-decimals
github
similar
QuentinDuval/IdrisPipes
github
similar
ziman/idris-ocaml
github
similar
joelberkeley/spidr
github
similar
thalerjonathan/gloss-idris
github
similar
andremm/lad
github
similar
stefan-hoeck/idris2-hedgehog
github
similar
octeep/idris2-tls
github
similar
ioanluca/real-world-idris
github
similar
grin-compiler/idris-grin
github
similar
stefan-hoeck/idris2-sop
github
similar