Similar repositories to namin/minikanren-confo:

• namin/minikanren-confo github similar
• webyrd/relational-dfa github similar
• webyrd/relational-progress-sensitive-security github similar
• brandonbloom/rtlcat github similar
• swannodette/Logic-Starter github similar
• swannodette/cKanren github similar
• swannodette/fairKanren github similar
• namin/core.logic github similar
• webyrd/relational-cesk github similar
• michaelballantyne/backjumping-miniKanren github similar
• danistefanovic/build-your-own-x github similar
• webyrd/tree-automata github similar
• webyrd/KeySchem-ture github similar
• jasonhemann/micro-in-mini github similar
• webyrd/cKanren github similar
• webyrd/cartesian-evalo github similar
• webyrd/latticeKanren github similar
• swannodette/alphaKanren github similar
• webyrd/relational-unifier github similar
• webyrd/2012-scheme-workshop-quines-paper-code github similar
• webyrd/set-constraints github similar
• bodil/ten-minute-clojure github similar
• Oregu/untyped github similar
• webyrd/symbolo-numbero-tests-for-core-logic github similar
• wrengr/coq-wrengr-util github similar
• webyrd/relational-reactive-programming github similar
• Oregu/usher github similar
• swannodette/minikanren github similar
• namin/clpset-miniKanren github similar
• jduey/arrowed-logic github similar
• namin/grk2clj github similar
• michaelballantyne/meta-minikanren github similar
• timowest/symbol github similar
• webyrd/untitled-relational-interpreter-book github similar
• namin/steps github similar
• austinhaas/goalie github similar
• stassa/thelma github similar
• webyrd/Running-Backwards--Part-1 github similar
• webyrd/strange-loop-2013 github similar
• webyrd/slpKanren github similar