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
• sixty-north / python-transducers
  ☆58Updated 8 years ago
• Technologicat / mcpyrate
  Advanced macro expander and language lab for Python.
  ☆70Updated 9 months ago
• evertheylen / logicpy
  Prolog Implementation in Python
  ☆12Updated 8 years ago
• gilch / drython
  metaprogramming for don't-repeat-yourself Python
  ☆28Updated 6 years ago
• hylang / hydiomatic
  The Hy Transformer
  ☆83Updated 6 years ago
• yardsale8 / hymagic
  ☆35Updated 11 years ago
• darius / pythological
  A MiniKanren in Python
  ☆36Updated 9 years ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 5 years ago
• pannous / angle
  ⦠ Angle: new speakable syntax for python 💡
  ☆132Updated last year
• mristin / python-by-contract-corpus
  A corpus of Python programs annotated with contracts
  ☆25Updated 3 months ago
• furiel / pyducers
  transducer library for python, inspired by clojure
  ☆10Updated 5 years ago
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆53Updated 3 months ago
• cozodb / pycozo
  The Python client and Jupyter helper for CozoDB
  ☆58Updated last year
• Technologicat / unpythonic
  Supercharge your Python with parts of Lisp and Haskell.
  ☆101Updated 9 months ago
• asrp / python_terp
  A minimal Python interpreter in Python with runtime AST definition and edit-and-continue
  ☆34Updated 7 years ago
• baruchel / continuation
  A module for handling continuations in Python
  ☆32Updated 9 years ago
• nagareproject / core
  Nagare web framework
  ☆55Updated 2 weeks ago
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 4 years ago
• SWI-Prolog / packages-mqi
  Machine Query Interface
  ☆20Updated 3 weeks ago
• refi64 / hyskell
  Union types and some other functional-y stuff for Hy
  ☆52Updated 9 years ago
• synchrony / smsn-why
  Get psyched about mapping knowledge!
  ☆30Updated 2 years ago
• JeffreyBenjaminBrown / hode
  rslt, take five-ish
  ☆150Updated 4 years ago
• marrow / dsl
  A Pythonic DSL construction engine for import–time code translation.
  ☆12Updated 8 years ago
• aleph2c / miros
  Python statecharts
  ☆60Updated last year
• asrp / pymetaterp
  A python parser that builds python ASTs in 502 lines of python without using modules
  ☆61Updated 7 years ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆96Updated 2 years ago
• zopefoundation / persistent
  automatic persistence for Python objects
  ☆47Updated last month
• 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 …
  ☆22Updated last year