Alternatives and similar repositories for ergo

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

• duasfl8r / propagator.py
  A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
  ☆34Updated 12 years ago
• sebdumancic / pylo2
  Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
  ☆85Updated 3 years ago
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆73Updated last month
• johnswentworth / tracelang
  Read, write and manipulate code which reads, writes and manipulates code.
  ☆10Updated 5 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 5 months ago
• breck7 / research
  I moved this folder. Keeping this repo up for archival purposes only.
  ☆17Updated 11 months ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 4 years ago
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆201Updated 3 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated 2 years ago
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 3 years ago
• koskenni / beta
  An open source reimplementation of Benny Brodda's BETA in Python
  ☆63Updated 5 years ago
• baruchel / apl
  An implementation of the APL language in Python with the Numpy module
  ☆30Updated 8 years ago
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆69Updated 2 months ago
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆54Updated 3 years ago
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 5 years ago
• ridgeworks / clpBNR
  CLP(BNR) module for SWI-Prolog
  ☆43Updated this week
• probmods / webchurch
  A Church to Javascript compiler (DEPRECATED)
  ☆140Updated 6 years ago
• cair / TextUnderstandingTsetlinMachine
  Using the Tsetlin Machine to learn human-interpretable rules for high-accuracy text categorization with medical applications
  ☆49Updated 5 years ago
• cgreer / alpha-zero-boosted
  A "build to learn" Alpha Zero implementation using Gradient Boosted Decision Trees (LightGBM)
  ☆86Updated last month
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated last year
• agentmodels / agentmodels.org
  Modeling agents with probabilistic programs
  ☆67Updated 5 years ago
• WuTheFWasThat / PyChurch
  A probabilistic programming language, based on Church
  ☆17Updated 7 years ago
• JanWielemaker / chat80
  Classical CHAT80 NLP system for Prolog
  ☆22Updated 2 months ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆93Updated last year
• kach / recreational-rosette
  Some fun examples of solving problems with symbolic execution
  ☆113Updated 6 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆42Updated 2 years ago
• fargonauts / copycat
  Modern port of Melanie Mitchell's and Douglas Hofstadter's Copycat
  ☆121Updated 2 weeks ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆79Updated 10 months ago
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆57Updated 16 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 10 months ago