Similar repositories to edwinb/WS-idr:

• edwinb/WS-idr github similar
• danistefanovic/build-your-own-x github similar
• gibiansky/IHaskell github similar
• tootsuite/mastodon github similar
• david-christiansen/IdrisSqlite github similar
• david-christiansen/idris-utils github similar
• RobertHarper/hott-notes github similar
• pixijs/pixi.js github similar
• alexcrichton/cc-rs github similar
• idris-hackers/eff-tutorial github similar
• SimonJF/IdrisNet2 github similar
• reynir/Verified github similar
• mankyKitty/idris-webgl github similar
• mgsloan/instance-templates github similar
• ziman/idris-ocaml github similar
• motemen/gore github similar
• andrewthad/lens-prelude github similar
• Eloston/ungoogled-chromium github similar
• jfdm/idris-xml github similar
• edwinb/Eff-new github similar
• MaxOw/Idris-WebGL github similar
• pbl64k/gpif-idris github similar
• crypto-agda/crypto-agda github similar
• andyarvanitis/IdrisObjCExperiment github similar
• ziman/bibdris github similar
• soimort/idris-commonmark github similar
• jstolarek/why-dependent-types-matter github similar
• idris-hackers/idris-posix github similar
• FranckS/RingIdris github similar
• IanOrton/decomposing-univalence github similar
• archaeron/idris-fiamma github similar
• thsutton/cha github similar
• idris-hackers/idris-llvm github similar
• edwinb/ConcIO github similar
• idris-hackers/idris-cph-exercises github similar
• SimonJF/IdrisNet github similar
• AshyIsMe/lambdatwit github similar
• jwiegley/simple-conduit github similar
• CHTT-s18/lecture-notes github similar
• soenkehahn/dead-code-detection github similar