Similar repositories to tapeinosyne/idris-microKanren:

• tapeinosyne/idris-microKanren github similar
• input-output-hk/qeditas-ledgertheory github similar
• trillioneyes/idris-toys github similar
• GuglielmoS/sfidris github similar
• david-christiansen/Brainfun github similar
• danilkolikov/setoids github similar
• rodrigogribeiro/idrisregexp github similar
• ziman/idris-bytes github similar
• fieldstrength/xquant github similar
• srdqty/talc-3.0 github similar
• michaelballantyne/meta-minikanren github similar
• danilkolikov/categories github similar
• jfdm/idris-config github similar
• ziman/idris-ocaml github similar
• pa-ba/calc-comp github similar
• dorchard/effects-as-sessions github similar
• paf31/mu-kanren github similar
• aische/typelevel-examples github similar
• evertedsphere/noether github similar
• fieldstrength/probability github similar
• idris-hackers/idris-posix github similar
• sbp/idris-bi github similar
• dbp/howtoproveacompiler github similar
• andrejbauer/dedekind-reals github similar
• tapeinosyne/elm-microkanren github similar
• david-christiansen/IdrisSqlite github similar
• melted/idris-chez github similar
• uwplse/pumpkin-pi github similar
• grin-compiler/idris-grin github similar
• imdea-software/htt github similar
• SimonJF/IdrisNet2 github similar
• MaiaVictor/ESCoC github similar
• ocharles/dhallql github similar
• andrejbauer/marshall github similar
• BekaValentine/SimpleFP-v2 github similar
• cmcl/frankjnr github similar
• aengelberg/instagenerate github similar
• Euterpea/HSoM github similar
• jonsterling/dreamtt github similar
• DeepSpec/dsss17 github similar