Similar repositories to raichoo/strangegroup-idris-June2014:

• raichoo/strangegroup-idris-June2014 github similar
• gibiansky/IHaskell github similar
• pixijs/pixi.js github similar
• tootsuite/mastodon github similar
• danistefanovic/build-your-own-x github similar
• gergoerdi/hindleymilner-agda github similar
• zerobuzz/webtest github similar
• soimort/idris-commonmark github similar
• copumpkin/rational github similar
• trillioneyes/idris-toys github similar
• danburkert/prost github similar
• raichoo/31C3Slides github similar
• milessabin/strangeloop-2013 github similar
• ziman/idris-benchmarks github similar
• jonsterling/agda-effectful-forcing github similar
• Spinoco/scalaz-stream-mongodb github similar
• jonsterling/TT-Reflection github similar
• RedPRL/sml-dependent-lcf github similar
• puffnfresh/stl-idris github similar
• sellout/Idris-CPDT github similar
• jonsterling/hs-abt github similar
• ohnosequences/statika github similar
• bitonic/hakyll-agda github similar
• scalaz/scalaz-geo github similar
• ziman/bibdris github similar
• reynir/Verified github similar
• ermine-language/ermine-legacy github similar
• FranckS/RingIdris github similar
• ermine-language/ermine-scala-core github similar
• wouter-swierstra/Brainfuck github similar
• idris-hackers/idrispkgs github similar
• evancz/elm-svg github similar
• markokoleznik/agda-writer github similar
• sol/interpolate github similar
• haskell-suite/halberd github similar
• idris-hackers/idris-posix github similar
• JohnWCartmell/Theory github similar
• pcapriotti/agda-base github similar
• puffnfresh/tryidris github similar
• uberscientist/win95-defrag-simulation github similar