RAbraham / mercylog

Related projects ⓘ

Alternatives and complementary repositories for mercylog

• thomasrebele / bashlog
  Answering Datalog Queries with Unix Shell Commands
  ☆23Updated 9 months ago
• massimo-nocentini / microkanrenpy
  A Pythonic implementation of *microkanren* logic language
  ☆9Updated 3 years ago
• hylang / hydiomatic
  The Hy Transformer
  ☆81Updated 5 years ago
• jasonhemann / microKanren-DLS-16
  microKanren implementation from DLS '16
  ☆14Updated 6 years ago
• yardsale8 / hymagic
  ☆34Updated 10 years ago
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆30Updated 3 years ago
• synchrony / smsn-why
  Get psyched about mapping knowledge!
  ☆30Updated last year
• tony-landis / datomic-py
  A Python library for the Datomic REST API
  ☆11Updated 9 years ago
• darius / pythological
  A MiniKanren in Python
  ☆36Updated 8 years ago
• sixty-north / python-transducers
  ☆55Updated 7 years ago
• asemic-horizon / sursis
  A [personal]<-[notebook]->[network]. Complete with custom numerics for constrained Gaussian gravitation physics.
  ☆22Updated 2 years ago
• cozodb / pycozo
  The Python client and Jupyter helper for CozoDB
  ☆49Updated 3 weeks ago
• gilch / drython
  metaprogramming for don't-repeat-yourself Python
  ☆22Updated 5 years ago
• evertheylen / logicpy
  Prolog Implementation in Python
  ☆11Updated 6 years ago
• mrocklin / unification
  ☆72Updated 3 years ago
• duasfl8r / propagator.py
  A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
  ☆34Updated 12 years ago
• pythological / unification
  Straightforward unification in Python that's extensible via generic functions.
  ☆43Updated 2 months ago
• refi64 / hyskell
  Union types and some other functional-y stuff for Hy
  ☆50Updated 8 years ago
• cyrus- / typy
  A fragmentary bidirectional type system as a Python library
  ☆52Updated 6 years ago
• namin / biohacker
  debugging biological networks to reach coherence, completeness and consistency
  ☆43Updated 9 months ago
• furiel / pyducers
  transducer library for python, inspired by clojure
  ☆10Updated 4 years ago
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆59Updated 4 years ago
• baruchel / continuation
  A module for handling continuations in Python
  ☆33Updated 8 years ago
• Technologicat / mcpyrate
  Advanced macro expander and language lab for Python.
  ☆59Updated last month
• aarroyoc / teruel
  Template engine for ISO Prolog, based on Jinja and Tera
  ☆14Updated 9 months ago
• mristin / python-by-contract-corpus
  A corpus of Python programs annotated with contracts
  ☆20Updated 2 years ago
• ericgj / adt.py
  Tagged union types and immutable records (product types) in Python
  ☆11Updated 7 years ago
• asrp / python_terp
  A minimal Python interpreter in Python with runtime AST definition and edit-and-continue
  ☆33Updated 6 years ago
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆21Updated 2 months ago
• khinsen / leibniz-pharo
  Leibniz - a Digital Scientific Notation
  ☆34Updated 3 months ago