Similar repositories to david-christiansen/idris-utils:

• david-christiansen/idris-utils github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• edwinb/Eff-new github similar
• jfdm/idris-xml github similar
• commandodev/purescript-nix github similar
• mgsloan/instance-templates github similar
• KesterTong/idris-finite-math github similar
• reynir/Verified github similar
• ReactTraining/react-router github similar
• andrewthad/lens-prelude github similar
• precog/quasar github similar
• david-christiansen/IdrisSqlite github similar
• ekmett/thrists github similar
• trillioneyes/idris-directory github similar
• shaunlebron/parinfer github similar
• edwinb/ConcIO github similar
• conal/shaped-types github similar
• domdere/fp-in-idris github similar
• idris-hackers/eff-tutorial github similar
• david-christiansen/helm-idris github similar
• AshyIsMe/lambdatwit github similar
• dnaq/crypto-sodium github similar
• np/guarded-recursion github similar
• jonsterling/coq-algebra-experiments github similar
• justjoheinz/idris-httpclient github similar
• edwinb/WS-idr github similar
• Heather/Idris.Yaml github similar
• puffnfresh/puffyterm github similar
• simonpj/haskellcontracts github similar
• relrod/tryidris-scala github similar
• jwiegley/set-theory github similar
• cartazio/HetList github similar
• relrod/socdiff github similar
• raichoo/IdrisCSVExample github similar
• thoughtpolice/claap github similar
• edwinb/tactics-tutorial github similar
• polasek/idris-scientific github similar
• webcrank/webcrank.hs github similar
• andyarvanitis/idris-cplusplus github similar