Similar repositories to webyrd/anti-unification:

• webyrd/anti-unification github similar
• gibiansky/IHaskell github similar
• danistefanovic/build-your-own-x github similar
• namin/steps github similar
• Factual/durable-queue github similar
• aquynh/capstone github similar
• tootsuite/mastodon github similar
• namin/clpset-miniKanren github similar
• shaunlebron/parinfer github similar
• webyrd/tree-automata github similar
• webyrd/hindley-milner-type-inferencer github similar
• webyrd/relational-unifier github similar
• webyrd/relational-dfa github similar
• namin/reflective-towers github similar
• webyrd/relational-reactive-programming github similar
• namin/sav github similar
• webyrd/relational-progress-sensitive-security github similar
• habemus-papadum/LilKanren.jl github similar
• austinhaas/goalie github similar
• stassa/thelma github similar
• namin/grk2clj github similar
• webyrd/relational-cesk github similar
• namin/abi github similar
• webyrd/webmk github similar
• webyrd/relational-parsing-with-derivatives github similar
• cdglabs/cbmjslib github similar
• namin/lms-regexp github similar
• namin/core.logic github similar
• chrisamaphone/lfinlf github similar
• benjamingeer/StatsRecipes github similar
• webyrd/latticeKanren github similar
• mattneary/Lampas github similar
• chriskempson/base16-iterm2 github similar
• precog/quasar github similar
• tuvtran/project-based-learning github similar
• pixijs/pixi.js github similar
• namin/leanTAP github similar
• webyrd/set-constraints github similar
• webyrd/declarative-semantics github similar
• webyrd/KeySchem-ture github similar