Similar repositories to eckart/SDL2-idris:

• eckart/SDL2-idris github similar
• eckart/gl-idris github similar
• shaunlebron/parinfer github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• pixijs/pixi.js github similar
• eckart/glfw-idris github similar
• ziman/idris-bytes github similar
• colin-adams/idris-libmicrohttpd github similar
• bodil/purescript-signal-socket github similar
• thalerjonathan/glfw-idris-st github similar
• eckart/cairo-idris github similar
• A1kmm/http4idris github similar
• HuwCampbell/optparse-idris github similar
• corazza/idris-box2d github similar
• jfdm/idris-argparse github similar
• superfunc/tp github similar
• mcgordonite/idris-binary-rationals github similar
• stefan-hoeck/idris2-prim github similar
• writeoncereadmany/idris-dimensions github similar
• justjoheinz/idris-httpclient github similar
• HuwCampbell/idris-lens github similar
• eraserhd/Idris-json github similar
• Heather/Idris.Yaml github similar
• piot/enias github similar
• thalerjonathan/gloss-idris github similar
• idris-hackers/idris-posix github similar
• gallais/idris-tmustache github similar
• esapulkkinen/cifl-math-library github similar
• darrenjw/scala-smfsb github similar
• santialbo/ParserCombinators github similar
• kbertalan/tyttp github similar
• Kungsgeten/netrunner github similar
• google/idris-protobuf github similar
• japesinator/Idris-Profunctors github similar
• janschultecom/idris-refined github similar
• maxtuno/Omega github similar
• jfdm/idris-config github similar
• palladin/idris-snippets github similar
• andorp/IdrisExtSTGCodegen github similar