Similar repositories to webyrd/MU-puzzle:

• webyrd/MU-puzzle github similar
• shaunlebron/parinfer github similar
• webyrd/gentle-intro-to-mk github similar
• webyrd/mk-metacircular-interp github similar
• webyrd/n-grams-for-synthesis github similar
• bboskin/syllogistic-provers github similar
• IRNAS/OpenSourceLabEquipment github similar
• kyagrd/tiper github similar
• michaelballantyne/miniKanren-occurrence-type-inferencer github similar
• gregr/dKanren github similar
• webyrd/curnelo github similar
• michaelballantyne/meta-minikanren github similar
• webyrd/relational-cesk github similar
• webyrd/hindley-milner-type-inferencer github similar
• webyrd/cato github similar
• webyrd/linear-logic-multiset-rewriting github similar
• webyrd/slpKanren github similar
• tca/veneer github similar
• webyrd/probKanren github similar
• michaelballantyne/faster-miniKanren github similar
• xuexue/neuralkanren github similar
• svenhenrik/CardboardRemoteDesktop github similar
• namin/logically github similar
• namin/staged-miniKanren github similar
• miniKanren/TheReasonedSchemer github similar
• turbopape/scheje github similar
• jaunt-lang/jaunt github similar
• calvis/cKanren github similar
• stepchowfun/theorem-prover github similar
• latte-central/LaTTe github similar
• jasonhemann/microKanren github similar
• webyrd/mediKanren github similar
• fogus/himera github similar
• sdiehl/numpile github similar
• the-little-prover/j-bob github similar
• webyrd/Barliman github similar
• TimelyDataflow/differential-dataflow github similar
• eholk/harlan github similar
• clojure/core.logic github similar
• HoTT/book github similar