Similar repositories to michaelballantyne/faster-miniKanren:
michaelballantyne/faster-miniKanren
github
similar
michaelballantyne/faster-minikanren
github
similar
danistefanovic/build-your-own-x
github
similar
hecrj/iced
github
similar
tootsuite/mastodon
github
similar
pixijs/pixi.js
github
similar
vishesh/racketscript
github
similar
webyrd/miniKanren-with-symbolic-constraints
github
similar
aquynh/capstone
github
similar
gibiansky/IHaskell
github
similar
meilisearch/MeiliSearch
github
similar
namin/staged-miniKanren
github
similar
JetBrains-Research/OCanren
github
similar
tuvtran/project-based-learning
github
similar
Eloston/ungoogled-chromium
github
similar
calvis/cKanren
github
similar
oven-sh/bun
github
similar
jasonhemann/microKanren
github
similar
TheReasonedSchemer2ndEd/CodeFromTheReasonedSchemer2ndEd
github
similar
namin/clpsmt-miniKanren
github
similar
sarsko/CreuSAT
github
similar
tca/veneer
github
similar
pycket/pycket
github
similar
miniKanren/Racket-miniKanren
github
similar
akeep/scheme-to-c
github
similar
gregr/icfp2017-artifact-auas7pp
github
similar
wilbowma/cur
github
similar
juxt/crux
github
similar
larcenists/larceny
github
similar
nanopass/nanopass-framework-racket
github
similar
lexi-lambda/megaparsack
github
similar
michaelballantyne/meta-minikanren
github
similar
namin/pink
github
similar
mfelleisen/7GUI
github
similar
jsiek/B629-denotational
github
similar
stchang/macrotypes
github
similar
namin/logically
github
similar
plum-umd/abstracting-definitional-interpreters
github
similar
TiarkRompf/collapsing-towers
github
similar
webyrd/normalization-by-evaluation
github
similar