Similar repositories to puffnfresh/stl-idris:

• puffnfresh/stl-idris github similar
• gibiansky/IHaskell github similar
• precog/quasar github similar
• danistefanovic/build-your-own-x github similar
• pixijs/pixi.js github similar
• pbl64k/gpif-idris github similar
• amutake/github-post-receive github similar
• dysinger/khartes github similar
• gpampara/scalaz-http-client github similar
• adelbertc/programming-in-idris github similar
• jonsterling/coq-meaning-explanation github similar
• stew/funlib github similar
• Eloston/ungoogled-chromium github similar
• zschoche/.vim github similar
• ReactTraining/react-router github similar
• ohnosequences/statika github similar
• runarorama/lambda github similar
• reynir/Verified github similar
• gustavderdrache/lambda-templates github similar
• pittsburgh-haskell/pittsburgh-haskell-logo github similar
• jpaykin/ControlHTT github similar
• FranckS/RingIdris github similar
• Spinoco/scalaz-stream-mongodb github similar
• joshvera/software-foundations-in-idris github similar
• adamwalker/hrtlsdr github similar
• sellout/Idris-CPDT github similar
• mikeshulman/hott-categories github similar
• RobertHarper/hott-notes github similar
• mietek/coquand github similar
• dustingetz/react-workshop-strangeloop-2014 github similar
• m50d/scalaz-transfigure github similar
• copumpkin/java github similar
• pcapriotti/agda-base github similar
• soimort/idris-commonmark github similar
• tonymorris/fp-for-business github similar
• yfcai/CREG github similar
• ajrouvoet/implicits.agda github similar
• pbrisbin/liquid github similar
• trillioneyes/idris-toys github similar
• GuglielmoS/sfidris github similar