Similar repositories to webyrd/relational-parsing-with-derivatives:
webyrd/relational-parsing-with-derivatives
github
similar
danistefanovic/build-your-own-x
github
similar
namin/steps
github
similar
namin/clpset-miniKanren
github
similar
webyrd/relational-cesk
github
similar
webyrd/anti-unification
github
similar
webyrd/TAPL-in-miniKanren-cKanren-core.logic
github
similar
shaunlebron/parinfer
github
similar
webyrd/2012-scheme-workshop-quines-paper-code
github
similar
bloat/maze.logic
github
similar
webyrd/relational-progress-sensitive-security
github
similar
austinhaas/goalie
github
similar
webyrd/cato
github
similar
webyrd/tabling
github
similar
darius/pythological
github
similar
namin/lms-black
github
similar
habemus-papadum/LilKanren.jl
github
similar
larrytheliquid/generic-elim
github
similar
webyrd/untitled-relational-interpreter-book
github
similar
namin/lambda-cube
github
similar
webyrd/set-constraints
github
similar
namin/reflective-towers
github
similar
namin/lms-regexp
github
similar
tootsuite/mastodon
github
similar
Factual/durable-queue
github
similar
pixijs/pixi.js
github
similar
krassowski/jupyterlab-lsp
github
similar
namin/logically
github
similar
webyrd/relational-unifier
github
similar
nfisher/ruby-swfer
github
similar
webyrd/relational-dfa
github
similar
ShaneIsley/challengeq3
github
similar
ProjectMAC/propagators
github
similar
brandonbloom/rtlcat
github
similar
bboskin/syllogistic-provers
github
similar
stassa/thelma
github
similar
petablox/difflog
github
similar
namin/leanTAP
github
similar
matpalm/audioscrobbler-experiments
github
similar
webyrd/n-grams-for-synthesis
github
similar