Similar repositories to gregr/dKanren:

• gregr/dKanren github similar
• danistefanovic/build-your-own-x github similar
• hyperfiddle/hyperfiddle github similar
• xiaodaigh/disk.frame github similar
• webyrd/declarative-semantics github similar
• namin/metamk github similar
• bboskin/syllogistic-provers github similar
• precog/quasar github similar
• pixijs/pixi.js github similar
• shaunlebron/parinfer github similar
• pkhuong/perfpiece github similar
• gregr/ina github similar
• xu-hao/QueryArrow github similar
• webyrd/first-class-macros github similar
• malyzajko/xfp github similar
• namin/relational-virology github similar
• iambrj/metaKanren github similar
• shayan-najd/QFeldspar github similar
• annenkov/contracts github similar
• webyrd/n-grams-for-synthesis github similar
• webyrd/tabling github similar
• aiplans/aiplans.github.io github similar
• philnguyen/abstract-compilation github similar
• jsmaniac/scribble-math github similar
• d3scomp/IRM-SA github similar
• DBWangGroupUNSW/SRS github similar
• hanxiao/bert-as-service github similar
• krassowski/jupyterlab-lsp github similar
• meilisearch/MeiliSearch github similar
• GamestonkTerminal/GamestonkTerminal github similar
• hecrj/iced github similar
• namin/abi github similar
• StevenArzt/reviser github similar
• julianhyde/morel github similar
• orchid-hybrid/minimips github similar
• webyrd/minikanren-playground github similar
• webyrd/interleaving-small-step-evaluation github similar
• jackfirth/glass github similar
• neilgall/kotlin-propagators github similar
• flash-gordon/.emacs.d-reason github similar