Similar repositories to webyrd/relational-interp-in-SMT:

• pixijs/pixi.js github similar
• webyrd/relational-interp-in-SMT github similar
• bboskin/syllogistic-provers github similar
• stassa/thelma github similar
• webyrd/n-grams-for-synthesis github similar
• namin/abi github similar
• webyrd/declarative-semantics github similar
• namin/mk-on-smt github similar
• stassa/metasplain github similar
• webyrd/normalization-by-evaluation github similar
• webyrd/curnelo github similar
• xu-hao/QueryArrow github similar
• michaelballantyne/meta-minikanren github similar
• habemus-papadum/LilKanren.jl github similar
• namin/metamk github similar
• webyrd/linear-logic-multiset-rewriting github similar
• namin/clpsmt-miniKanren github similar
• npe9/aop github similar
• cmungall/sparqlprog github similar
• namin/scalogno github similar
• MatthiasNickles/diff-SAT github similar
• webyrd/relational-parsing-with-derivatives github similar
• numenta/nupic.nlp-examples github similar
• webyrd/miniKanren-uncourse github similar
• webyrd/dissertation-single-spaced github similar
• stassa/louise github similar
• namin/staged-miniKanren github similar
• potassco/pddl-instances github similar
• uclnlp/ntp github similar
• potassco/clasp github similar
• UniMath/TypeTheory github similar
• namin/logically github similar
• michaelballantyne/faster-miniKanren github similar
• namin/io.livecode.ch github similar
• wilbowma/cur github similar
• imurray/redirectify github similar
• webyrd/mediKanren github similar
• jeanqasaur/research-group-resources github similar
• ryanrhymes/panns github similar
• pcarbonn/pyDatalog github similar