Similar repositories to eckart/gl-idris:
eckart/gl-idris
github
similar
shaunlebron/parinfer
github
similar
danistefanovic/build-your-own-x
github
similar
eckart/SDL2-idris
github
similar
tootsuite/mastodon
github
similar
eckart/glfw-idris
github
similar
ziman/idris-bytes
github
similar
eckart/cairo-idris
github
similar
gibiansky/IHaskell
github
similar
trufflesuite/ganache-cli
github
similar
o-jasper/julia-ffi
github
similar
Eloston/ungoogled-chromium
github
similar
Stadicus/RaspiBolt
github
similar
motemen/gore
github
similar
fritzlabs/Awesome-Mobile-Machine-Learning
github
similar
parkoplan/detectParking
github
similar
justjoheinz/idris-httpclient
github
similar
idris-hackers/idris-posix
github
similar
Heather/Idris.Yaml
github
similar
Heather/Synthia
github
similar
cynede/bat
github
similar
deadtrickster/soap
github
similar
dcepelik/hspl
github
similar
trillioneyes/idris-canvas
github
similar
colin-adams/idris-libmicrohttpd
github
similar
steshaw/idris-sdl2
github
similar
A1kmm/http4idris
github
similar
thalerjonathan/glfw-idris-st
github
similar
lenadroid/fsharp-job-kube
github
similar
ArduPilot/OMC-docs
github
similar
bamboo/idris-hamt
github
similar
HuwCampbell/optparse-idris
github
similar
corazza/idris-box2d
github
similar
Heather/Control.Eternal.Idris
github
similar
jfdm/idris-argparse
github
similar
superfunc/tp
github
similar
fsprojects/FSharpPlus.AspNetCore
github
similar
jmars/Records
github
similar
mcgordonite/idris-binary-rationals
github
similar
stefan-hoeck/idris2-prim
github
similar