Similar repositories to webyrd/mk-metacircular-interp:

• webyrd/mk-metacircular-interp github similar
• webyrd/MU-puzzle github similar
• webyrd/relational-progress-sensitive-security github similar
• webyrd/igors-turing-machine github similar
• brandonbloom/rtlcat github similar
• webyrd/n-grams-for-synthesis github similar
• bboskin/syllogistic-provers github similar
• webyrd/peano-challenge github similar
• webyrd/strange-loop-2013 github similar
• webyrd/Strange-Loop-2014 github similar
• webyrd/latticeKanren github similar
• michaelballantyne/miniKanren-occurrence-type-inferencer github similar
• webyrd/set-constraints github similar
• Oregu/untyped 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/slpKanren github similar
• jasonhemann/micro-in-mini github similar
• webyrd/cato github similar
• webyrd/linear-logic-multiset-rewriting github similar
• calvis/kraken github similar
• webyrd/untitled-relational-interpreter-book github similar
• kovasb/combinator github similar
• webyrd/relational-parsing-with-derivatives github similar
• avibryant/vignette github similar
• tca/veneer github similar
• webyrd/probKanren github similar
• swannodette/chambered github similar
• xuexue/neuralkanren github similar
• calvis/cKanren github similar
• kframework/k-legacy github similar
• brandonbloom/eclj github similar
• namin/logically github similar
• namin/staged-miniKanren github similar
• michaelballantyne/faster-miniKanren github similar
• webyrd/miniKanren github similar
• fogus/bacwn github similar