Similar repositories to idris-hackers/eff-tutorial:

• idris-hackers/eff-tutorial github similar
• gibiansky/IHaskell github similar
• david-christiansen/IdrisSqlite github similar
• RobertHarper/hott-notes github similar
• jfdm/idris-xml github similar
• dysinger/khartes github similar
• precog/quasar github similar
• andyarvanitis/idris-cplusplus github similar
• david-christiansen/idris-utils github similar
• SimonJF/IdrisNet2 github similar
• edwinb/Eff-new github similar
• soimort/idris-commonmark github similar
• LeifW/online-typechecker github similar
• relrod/tryidris-android github similar
• ekmett/homotopy github similar
• tootsuite/mastodon github similar
• shaunlebron/parinfer github similar
• edwinb/SDL-idris github similar
• ttuegel/autonix-deps github similar
• jonsterling/TT-Reflection github similar
• k0001/pipes-aeson github similar
• edwinb/tactics-tutorial github similar
• sdiehl/picologic github similar
• sellout/Idris-CPDT github similar
• commandodev/purescript-nix github similar
• jfdm/idris-protocol-examples github similar
• japesinator/tarts github similar
• idris-hackers/idris-cph-exercises github similar
• edwinb/WS-idr github similar
• MaxOw/Idris-WebGL github similar
• relrod/socdiff github similar
• relrod/tryidris-scala github similar
• mikeshulman/hott-categories github similar
• divipp/lgtk github similar
• sacundim/free-operational github similar
• chrisdone/ats-examples github similar
• ericfinster/orchard github similar
• tonymorris/fp-for-business github similar
• paf31/stack-safety-for-free github similar
• reynir/Verified github similar