Alternatives and similar repositories for mercylog

Users that are interested in mercylog are comparing it to the libraries listed below

• thomasrebele / bashlog
  Answering Datalog Queries with Unix Shell Commands
  ☆24Updated last year
• mrocklin / unification
  ☆71Updated 4 years ago
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆23Updated 2 months ago
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆51Updated 2 months ago
• sixty-north / python-transducers
  ☆58Updated 8 years ago
• gilch / drython
  metaprogramming for don't-repeat-yourself Python
  ☆28Updated 6 years ago
• evertheylen / logicpy
  Prolog Implementation in Python
  ☆12Updated 8 years ago
• hylang / hydiomatic
  The Hy Transformer
  ☆83Updated 6 years ago
• cozodb / pycozo
  The Python client and Jupyter helper for CozoDB
  ☆58Updated last year
• yardsale8 / hymagic
  ☆35Updated 11 years ago
• furiel / pyducers
  transducer library for python, inspired by clojure
  ☆10Updated 5 years ago
• Technologicat / mcpyrate
  Advanced macro expander and language lab for Python.
  ☆70Updated 8 months ago
• jasonhemann / microKanren-DLS-16
  microKanren implementation from DLS '16
  ☆14Updated 7 years ago
• cyrus- / typy
  A fragmentary bidirectional type system as a Python library
  ☆52Updated 7 years ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 5 years ago
• mristin / python-by-contract-corpus
  A corpus of Python programs annotated with contracts
  ☆25Updated 2 months ago
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 4 years ago
• darius / pythological
  A MiniKanren in Python
  ☆36Updated 9 years ago
• baruchel / continuation
  A module for handling continuations in Python
  ☆32Updated 9 years ago
• Technologicat / unpythonic
  Supercharge your Python with parts of Lisp and Haskell.
  ☆101Updated 8 months ago
• duasfl8r / propagator.py
  A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
  ☆36Updated 13 years ago
• tobgu / pyrthon
  Literal support for Pyrsistent data structures in Python
  ☆131Updated 4 years ago
• SWI-Prolog / packages-mqi
  Machine Query Interface
  ☆20Updated 2 weeks ago
• namin / biohacker
  debugging biological networks to reach coherence, completeness and consistency
  ☆48Updated last year
• miiohio / succinct
  Succinct, compact, and compressed data structures for data-intensive applications
  ☆62Updated 5 years ago
• hyroai / computation-graph
  ☆27Updated last year
• gooofy / zamia-prolog
  Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.
  ☆20Updated 7 years ago
• asrp / pymetaterp
  A python parser that builds python ASTs in 502 lines of python without using modules
  ☆61Updated 7 years ago
• smucclaw / dmnmd
  Decision Model & Notation in Markdown table format
  ☆24Updated 6 months ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆96Updated 2 years ago