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
• JetBrains-Research/OCanren github similar
• tuvtran/project-based-learning github similar
• Eloston/ungoogled-chromium github similar
• namin/staged-miniKanren github similar
• calvis/cKanren github similar
• oven-sh/bun github similar
• jasonhemann/microKanren github similar
• TheReasonedSchemer2ndEd/CodeFromTheReasonedSchemer2ndEd github similar
• sarsko/CreuSAT github similar
• namin/clpsmt-miniKanren github similar
• tca/veneer github similar
• pycket/pycket github similar
• gregr/icfp2017-artifact-auas7pp github similar
• wilbowma/cur github similar
• juxt/crux github similar
• nanopass/nanopass-framework-racket github similar
• lexi-lambda/megaparsack github similar
• akeep/scheme-to-c github similar
• mfelleisen/7GUI github similar
• jsiek/B629-denotational github similar
• miniKanren/Racket-miniKanren github similar
• larcenists/larceny 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
• rntz/datafun github similar
• namin/pink github similar