Similar repositories to swannodette/alphaKanren:
swannodette/alphaKanren
github
similar
seb5666/partIIproject
github
similar
namin/steps
github
similar
namin/minikanren-confo
github
similar
namin/clpset-miniKanren
github
similar
webyrd/relational-cesk
github
similar
yallop/metaocaml-letrec
github
similar
miniKanren/simple-miniKanren
github
similar
namin/leanTAP
github
similar
takeoutweight/Clojure-CHR
github
similar
namin/metasolfeggio
github
similar
typedclojure/typed-clojure-mode
github
similar
acfoltzer/Molog
github
similar
namin/pink
github
similar
webyrd/untitled-relational-interpreter-book
github
similar
jsiek/B629-denotational
github
similar
ctford/goldberg
github
similar
JetBrains-Research/OCanren
github
similar
pigworker/MetaprogAgda
github
similar
namin/logically
github
similar
namin/staged-miniKanren
github
similar
gigasquid/babar
github
similar
eholk/elegant-weapons
github
similar
the-concurrent-schemer/scm
github
similar
jmgimeno/okasaki-clojure
github
similar
webyrd/quines
github
similar
ekmett/propagators
github
similar
namin/dot
github
similar
calvis/cKanren
github
similar
hraberg/shen.clj
github
similar
w7cook/AoPL
github
similar
stamourv/picobit
github
similar
clojure/core.rrb-vector
github
similar
ztellman/riddley
github
similar
readevalprintlove/black
github
similar
jalehman/react-tutorial-om
github
similar
Unrepl/unrepl
github
similar
halgari/mjolnir
github
similar
richhickey/harmonikit
github
similar
jasonhemann/microKanren
github
similar