Similar repositories to ziman/idris-benchmarks:

• ziman/idris-benchmarks github similar
• gibiansky/IHaskell github similar
• ReactTraining/react-router github similar
• gergoerdi/hindleymilner-agda github similar
• precog/quasar github similar
• dwijnand/sbt-dynver github similar
• shaunlebron/parinfer github similar
• edwinb/ConcProc github similar
• dispalt/sbt-pop github similar
• sellout/Idris-CPDT github similar
• copumpkin/rational github similar
• trillioneyes/idris-toys github similar
• pbrisbin/liquid github similar
• FourMInfo/Ensimizer github similar
• msullivan/godels-t github similar
• raichoo/strangegroup-idris-June2014 github similar
• jastice/sbt-dash github similar
• raichoo/31C3Slides github similar
• rodrigogribeiro/idrisregexp github similar
• FranckS/RingIdris github similar
• idris-hackers/usb github similar
• pheymann/artie github similar
• Heather/Idris.Yaml github similar
• idris-hackers/idris-posix github similar
• jonsterling/agda-effectful-forcing github similar
• idris-hackers/idris-lens github similar
• puffnfresh/tryidris github similar
• RedPRL/sml-dependent-lcf github similar
• rockymadden/delimited github similar
• idris-hackers/eff-tutorial github similar
• ziman/text github similar
• joshlemer/MultiIndex github similar
• libling/sbt-hackling github similar
• non/zzbot github similar
• david-christiansen/IdrisSqlite github similar
• andyarvanitis/idris-cplusplus github similar
• yeghishe/ammonite-modules github similar
• japesinator/Idris-Profunctors github similar
• edmundnoble/final-tagless-typelevel-summit github similar
• jonsterling/hs-abt github similar