Alternatives and similar repositories for mercylog

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

• asemic-horizon / sursis
  A [personal]<-[notebook]->[network]. Complete with custom numerics for constrained Gaussian gravitation physics.
  ☆22Updated 3 years ago
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆52Updated last week
• Technologicat / mcpyrate
  Advanced macro expander and language lab for Python.
  ☆69Updated 6 months ago
• sixty-north / python-transducers
  ☆58Updated 8 years ago
• furiel / pyducers
  transducer library for python, inspired by clojure
  ☆10Updated 5 years ago
• SWI-Prolog / packages-mqi
  Machine Query Interface
  ☆19Updated last week
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆23Updated last week
• pannous / angle
  ⦠ Angle: new speakable syntax for python 💡
  ☆132Updated last year
• cozodb / pycozo
  The Python client and Jupyter helper for CozoDB
  ☆57Updated last year
• thomasrebele / bashlog
  Answering Datalog Queries with Unix Shell Commands
  ☆24Updated last year
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 4 years ago
• aleph2c / miros
  Python statecharts
  ☆57Updated last year
• mrocklin / unification
  ☆71Updated 4 years ago
• evertheylen / logicpy
  Prolog Implementation in Python
  ☆12Updated 7 years ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 5 years ago
• smucclaw / dmnmd
  Decision Model & Notation in Markdown table format
  ☆24Updated 4 months ago
• diegojromerolopez / gelidum
  Freeze your objects in python
  ☆59Updated 2 months ago
• hyroai / computation-graph
  ☆27Updated 10 months ago
• alexispurslane / atomicdatabase
  This is a logic-based database that can do inferences based on known facts in addition to SQL type queries. Rules are introduced through …
  ☆21Updated last year
• mristin / python-by-contract-corpus
  A corpus of Python programs annotated with contracts
  ☆25Updated 2 weeks ago
• hylang / hydiomatic
  The Hy Transformer
  ☆83Updated 6 years ago
• argolab / dyna3
  Dyna v3 built using R-exprs in Clojure, https://matthewfl.com/phd
  ☆57Updated 8 months ago
• gilch / drython
  metaprogramming for don't-repeat-yourself Python
  ☆27Updated 6 years ago
• Technologicat / unpythonic
  Supercharge your Python with parts of Lisp and Haskell.
  ☆100Updated 6 months ago
• asrp / python_terp
  A minimal Python interpreter in Python with runtime AST definition and edit-and-continue
  ☆34Updated 7 years ago
• yardsale8 / hymagic
  ☆35Updated 11 years ago
• ericgj / adt.py
  Tagged union types and immutable records (product types) in Python
  ☆11Updated 8 years ago
• darius / pythological
  A MiniKanren in Python
  ☆36Updated 9 years ago
• breck7 / pytree
  Tree Notation Python Library
  ☆14Updated 2 years ago
• duasfl8r / propagator.py
  A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
  ☆36Updated 13 years ago