Similar repositories to webyrd/slpKanren:
webyrd/slpKanren
github
similar
danistefanovic/build-your-own-x
github
similar
cgswords/rkanren
github
similar
gibiansky/IHaskell
github
similar
meilisearch/MeiliSearch
github
similar
webyrd/alphaKanren
github
similar
namin/clpset-miniKanren
github
similar
michaelballantyne/meta-minikanren
github
similar
miniKanren/simple-miniKanren
github
similar
webyrd/relational-cesk
github
similar
ReactTraining/react-router
github
similar
pixijs/pixi.js
github
similar
pandas-profiling/pandas-profiling
github
similar
hecrj/iced
github
similar
michaelballantyne/miniKanren-occurrence-type-inferencer
github
similar
shaunlebron/parinfer
github
similar
webyrd/relational-unifier
github
similar
jasonhemann/miniKanren
github
similar
namin/minikanren-confo
github
similar
webyrd/curnelo
github
similar
webyrd/relational-reactive-programming
github
similar
webyrd/relational-progress-sensitive-security
github
similar
webyrd/mk-metacircular-interp
github
similar
brandonbloom/rtlcat
github
similar
austinhaas/goalie
github
similar
stassa/thelma
github
similar
jasonhemann/micro-in-mini
github
similar
webyrd/tabling
github
similar
namin/lambdajam
github
similar
webyrd/anti-unification
github
similar
michaelballantyne/ee-lib
github
similar
webyrd/automata-and-mutual-recursion
github
similar
orchid-hybrid/microKanren-sagittarius
github
similar
webyrd/tree-automata
github
similar
nathanielrb/ftmicroKanren
github
similar
habemus-papadum/LilKanren.jl
github
similar
webyrd/set-constraints
github
similar
tgk/parsing-packet-with-logic
github
similar
webyrd/latticeKanren
github
similar
fdserr/clotilde
github
similar