Similar repositories to trillioneyes/idris-toys:

• trillioneyes/idris-toys github similar
• gibiansky/IHaskell github similar
• gergoerdi/hindleymilner-agda github similar
• domdere/haskell-coq github similar
• david-christiansen/Brainfun github similar
• stop-cran/idris-groups github similar
• jpaykin/ControlHTT github similar
• smfactor/UnitsAsTypes github similar
• raichoo/31C3Slides github similar
• tapeinosyne/idris-microKanren github similar
• input-output-hk/qeditas-ledgertheory github similar
• gogabr/lambekMikulas github similar
• jonsterling/agda-effectful-forcing github similar
• copumpkin/rational github similar
• GuglielmoS/sfidris github similar
• danilkolikov/setoids github similar
• paf31/purescript-distributions github similar
• paf31/purescript-tropical github similar
• sellout/Idris-CPDT github similar
• IanOrton/decomposing-univalence github similar
• raichoo/strangegroup-idris-June2014 github similar
• SimonJF/IdrisNet github similar
• laughedelic/sublime-idris github similar
• rodrigogribeiro/idrisregexp github similar
• runKleisli/verified-integer-gaussian-elimination github similar
• ziman/bibdris github similar
• idris-hackers/usb github similar
• paf31/purescript-foreign-lens github similar
• joneshf/purescript-optic github similar
• emptyflash/ivor github similar
• jfdm/idris-config github similar
• ziman/idris-benchmarks github similar
• ziman/idris-bytes github similar
• FranckS/RingIdris github similar
• RedPRL/sml-dependent-lcf github similar
• fieldstrength/xquant github similar
• Spinoco/scalaz-stream-mongodb github similar
• laMudri/quantitative github similar
• edwinb/Eff github similar
• ziman/text github similar