Similar repositories to webyrd/tabling:

• webyrd/tabling github similar
• webyrd/relational-dfa github similar
• seb5666/d4 github similar
• t-veor/observable-ocaml github similar
• Spivoxity/pprolog github similar
• Eloston/ungoogled-chromium github similar
• danistefanovic/build-your-own-x github similar
• hecrj/iced github similar
• webyrd/relational-unifier github similar
• webyrd/relational-reactive-programming github similar
• dselsam/terpret_problem github similar
• webyrd/relational-progress-sensitive-security github similar
• brandonbloom/rtlcat github similar
• lameiro/simple-tracing-jit github similar
• spacejam/state-guide github similar
• namin/mk-on-smt github similar
• webyrd/2012-scheme-workshop-quines-paper-code github similar
• gregr/dKanren github similar
• stassa/thelma github similar
• niklasso/minisat-c-bindings github similar
• petablox/difflog github similar
• webyrd/polyconf-2015 github similar
• sstucki/lms-kappa github similar
• namin/clpset-miniKanren github similar
• michaelballantyne/meta-minikanren github similar
• Spivoxity/baremetal-v1 github similar
• julianhyde/morel github similar
• namin/abi github similar
• namin/scala github similar
• michaelballantyne/ee-lib github similar
• jasonhemann/micro-in-mini github similar
• webyrd/cato github similar
• webyrd/set-constraints github similar
• GeorgOfenbeck/SpaceTime github similar
• namin/clpsmt-miniKanren github similar
• fare/climbing github similar
• namin/reflective-towers github similar
• iambrj/metaKanren github similar
• pippijn/merr github similar
• namin/metamk github similar