Similar repositories to pythological/unification:

• pythological/unification github similar
• pythological/etuples github similar
• AmpersandTV/aeppl-hmm github similar
• brandonwillard/mk-rewrite-completion github similar
• pythological/kanren github similar
• gibiansky/IHaskell github similar
• sarsko/CreuSAT github similar
• pydantic/pydantic github similar
• danistefanovic/build-your-own-x github similar
• AlexanderGrooff/unification github similar
• shaobo-he/handbook-of-practical-logic-and-automated-reasoning-in-racket github similar
• aesara-devs/aemcmc github similar
• ptarau/LeanProlog github similar
• zoj613/polyagamma github similar
• aesara-devs/aehmc github similar
• pythological/python-cons github similar
• nerdbeard/livesort github similar
• tammet/json-ld-logic github similar
• GambitResearch/replisome github similar
• ptarau/LogicTransformers github similar
• maths/PRESS github similar
• aesara-devs/aeppl github similar
• ptarau/pypro github similar
• brandonwillard/kanren github similar
• SWI-Prolog/tabled-prolog-book github similar
• avigad/lamr github similar
• 0x65/trampoline github similar
• webyrd/probKanren github similar
• racket/datalog github similar
• MainRo/cyclotron-py github similar
• gregr/dbKanren github similar
• brandtbucher/pycapi github similar
• jsiek/B522-PL-Foundations github similar
• AmpersandTV/pymc3-hmm github similar
• xuexue/neuralkanren github similar
• algernon/adderall github similar
• Symbolica/Symbolica github similar
• mristin/opinionated-commit-message github similar
• paf31/haskell-slides github similar
• webyrd/untitled-relational-interpreter-book github similar