Alternatives and similar repositories for mercylog

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

• massimo-nocentini / microkanrenpy
  A Pythonic implementation of *microkanren* logic language
  ☆10Updated 4 years ago
• thomasrebele / bashlog
  Answering Datalog Queries with Unix Shell Commands
  ☆24Updated last year
• darius / pythological
  A MiniKanren in Python
  ☆35Updated 8 years ago
• pschanely / hypothesis-crosshair
  Level-up your Hypothesis tests with CrossHair
  ☆12Updated last week
• mristin / python-by-contract-corpus
  A corpus of Python programs annotated with contracts
  ☆21Updated 2 years ago
• evertheylen / logicpy
  Prolog Implementation in Python
  ☆11Updated 7 years ago
• yardsale8 / hymagic
  ☆34Updated 11 years ago
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 3 years ago
• sixty-north / python-transducers
  ☆56Updated 7 years ago
• hylang / hydiomatic
  The Hy Transformer
  ☆83Updated 6 years ago
• gilch / drython
  metaprogramming for don't-repeat-yourself Python
  ☆24Updated 6 years ago
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆25Updated last year
• furiel / pyducers
  transducer library for python, inspired by clojure
  ☆10Updated 4 years ago
• duasfl8r / propagator.py
  A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
  ☆35Updated 12 years ago
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆22Updated 8 months ago
• breck7 / research
  I moved this folder. Keeping this repo up for archival purposes only.
  ☆17Updated 11 months ago
• asemic-horizon / sursis
  A [personal]<-[notebook]->[network]. Complete with custom numerics for constrained Gaussian gravitation physics.
  ☆22Updated 3 years ago
• smarr / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆18Updated 3 months ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated 2 years ago
• tony-landis / datomic-py
  A Python library for the Datomic REST API
  ☆11Updated 9 years ago
• ericgj / adt.py
  Tagged union types and immutable records (product types) in Python
  ☆11Updated 7 years ago
• BFergerson / Arthur
  Semantic language-agnostic source code schema
  ☆16Updated last year
• ryansb / bookmarkd
  Markdown -> IPython conversion tool
  ☆15Updated 10 years ago
• philzook58 / duckegg
  An experiment in using DuckDB for a datalog / egg
  ☆25Updated last year
• tkuhn / AceRules
  A rule engine based on Attempto Controlled English
  ☆18Updated 7 months ago
• Technologicat / mcpyrate
  Advanced macro expander and language lab for Python.
  ☆65Updated last month
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆24Updated 6 years ago
• paysure / orinoco
  Functional composable pipelines allowing clean separation of the business logic and its implementation
  ☆11Updated last year
• jdjakub / BootstrapLab
  Visually bootstrap a self-sustaining system, and take it from there.
  ☆11Updated 3 months ago
• epost / purescript-datalog-parsers
  Parsers for Prolog, Datomic, and various other Datalog varieties.
  ☆12Updated 7 years ago