Similar repositories to webyrd/TAPL-in-miniKanren-cKanren-core.logic:

• webyrd/TAPL-in-miniKanren-cKanren-core.logic github similar
• pixijs/pixi.js github similar
• namin/TAPL-in-miniKanren-cKanren-core.logic github similar
• webyrd/2012-scheme-workshop-quines-paper-code github similar
• webyrd/relational-parsing-with-derivatives github similar
• RobertHarper/hott-notes github similar
• michaelballantyne/backjumping-miniKanren github similar
• namin/minikanren-confo github similar
• webyrd/relational-dfa github similar
• webyrd/relational-cesk github similar
• webyrd/relational-progress-sensitive-security github similar
• brandonbloom/rtlcat github similar
• webyrd/anti-unification github similar
• namin/lambdajam github similar
• namin/logically github similar
• ejackson/inflow github similar
• drsnyder/think-stats github similar
• sergei-romanenko/staged-mrsc-agda github similar
• michaelballantyne/miniKanren-occurrence-type-inferencer github similar
• webyrd/set-constraints github similar
• stamourv/partial-evaluation-tutorial github similar
• bmabey/claw github similar
• david-christiansen/idris-interaction.rkt github similar
• webyrd/quines github similar
• webyrd/slpKanren github similar
• bloat/maze.logic github similar
• stassa/metasplain github similar
• Ucombinator/Tapas github similar
• actsasgeek/nota-bene github similar
• webyrd/normalization-by-evaluation github similar
• webyrd/curnelo github similar
• darius/pythological github similar
• dvanhorn/pcf github similar
• namin/clpset-miniKanren github similar
• namin/grk2clj github similar
• michaelballantyne/meta-minikanren github similar
• michel-slm/minikanren-scala github similar
• namin/core.logic github similar
• namin/refl-instr github similar
• annenkov/stratego-sll github similar