Alternatives and similar repositories for mercylog

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

• Technologicat / mcpyrate
  Advanced macro expander and language lab for Python.
  ☆68Updated 5 months ago
• thomasrebele / bashlog
  Answering Datalog Queries with Unix Shell Commands
  ☆24Updated last year
• sixty-north / python-transducers
  ☆58Updated 8 years ago
• gilch / drython
  metaprogramming for don't-repeat-yourself Python
  ☆25Updated 6 years ago
• mrocklin / unification
  ☆72Updated 4 years ago
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆22Updated 2 months ago
• furiel / pyducers
  transducer library for python, inspired by clojure
  ☆10Updated 4 years ago
• SWI-Prolog / packages-mqi
  Machine Query Interface
  ☆19Updated last week
• evertheylen / logicpy
  Prolog Implementation in Python
  ☆12Updated 7 years ago
• asemic-horizon / sursis
  A [personal]<-[notebook]->[network]. Complete with custom numerics for constrained Gaussian gravitation physics.
  ☆22Updated 3 years ago
• yardsale8 / hymagic
  ☆35Updated 11 years ago
• cozodb / pycozo
  The Python client and Jupyter helper for CozoDB
  ☆57Updated 10 months ago
• hylang / hydiomatic
  The Hy Transformer
  ☆84Updated 6 years ago
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆49Updated 3 weeks ago
• baruchel / continuation
  A module for handling continuations in Python
  ☆32Updated 8 years ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆97Updated last year
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 3 years ago
• erikrose / pijnu
  Noncanonical (but only existing) repo for the pijnu PEG parser
  ☆24Updated 14 years ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 5 years 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
• pannous / angle
  ⦠ Angle: new speakable syntax for python 💡
  ☆132Updated last year
• mristin / python-by-contract-corpus
  A corpus of Python programs annotated with contracts
  ☆24Updated 3 years ago
• breck7 / pytree
  Tree Notation Python Library
  ☆14Updated 2 years ago
• mristin / icontract-hypothesis
  Combine contracts and automatic testing.
  ☆85Updated 3 years ago
• smucclaw / dmnmd
  Decision Model & Notation in Markdown table format
  ☆24Updated 2 months ago
• hyroai / computation-graph
  ☆27Updated 8 months ago
• nagareproject / core
  Nagare web framework
  ☆55Updated 2 months ago
• darius / pythological
  A MiniKanren in Python
  ☆35Updated 9 years ago
• diegojromerolopez / gelidum
  Freeze your objects in python
  ☆60Updated last month
• cyrus- / typy
  A fragmentary bidirectional type system as a Python library
  ☆52Updated 6 years ago