Similar repositories to danilkolikov/setoids:

• danilkolikov/setoids github similar
• gibiansky/IHaskell github similar
• tapeinosyne/idris-microKanren github similar
• thalerjonathan/gl-idris-b github similar
• input-output-hk/qeditas-ledgertheory github similar
• trillioneyes/idris-toys github similar
• GuglielmoS/sfidris github similar
• david-christiansen/Brainfun github similar
• rodrigogribeiro/idrisregexp github similar
• ziman/idris-bytes github similar
• fieldstrength/xquant github similar
• srdqty/talc-3.0 github similar
• danilkolikov/categories github similar
• jfdm/idris-config github similar
• dhall-lang/dhall-text github similar
• dhall-lang/dhall-bash github similar
• sbp/idris-bi github similar
• ziman/idris-ocaml github similar
• thalerjonathan/gloss-idris github similar
• jwiegley/thinking-with-functions github similar
• pa-ba/calc-comp github similar
• lambdageek/freer-church github similar
• tweag/hyperion github similar
• david-christiansen/derive-all-the-instances github similar
• fieldstrength/probability github similar
• idris-hackers/idris-posix github similar
• idris-industry/ikan github similar
• paf31/purescript-smash github similar
• dbp/howtoproveacompiler github similar
• i-am-tom/LICK github similar
• andrejbauer/dedekind-reals github similar
• david-christiansen/IdrisSqlite github similar
• aspiwack/peppermint-prover github similar
• conal/vector-space github similar
• uwplse/pumpkin-pi github similar
• melted/idris-chez github similar
• mgmeier/purescript-webgl github similar
• wyager/CPU github similar
• n8han/spde github similar
• edwinb/SDL-idris github similar