Alternatives and similar repositories for ergo:

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

• koskenni / beta
  An open source reimplementation of Benny Brodda's BETA in Python
  ☆63Updated 5 years ago
• jtauber / functional-differential-geometry
  working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python
  ☆45Updated 10 years ago
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆73Updated 2 weeks ago
• probmods / webchurch
  A Church to Javascript compiler (DEPRECATED)
  ☆140Updated 6 years ago
• mathemajician / AIQ
  Algorithmic Intelligence Quotient
  ☆39Updated 3 years ago
• 921kiyo / symbolic-rl
  Symbolic Reinforcement Learning using Inductive Logic Programming
  ☆62Updated 2 years ago
• compcalc / compcalc.github.io
  🧮 Reading group about differential, integral and logical calculi.
  ☆26Updated 10 months ago
• agentmodels / agentmodels.org
  Modeling agents with probabilistic programs
  ☆67Updated 5 years ago
• msbrogli / sdm
  Implementation of Sparse Distributed Memory created by Pentti Kanerva in 1988.
  ☆48Updated 7 years ago
• johnswentworth / tracelang
  Read, write and manipulate code which reads, writes and manipulates code.
  ☆10Updated 5 years ago
• duasfl8r / propagator.py
  A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
  ☆34Updated 12 years ago
• minireference / sample-book
  Starter template for a scientific book written in LaTeX with scripts for producing PDF, HTML, ePub, mobi, et al. formats.
  ☆44Updated 2 years ago
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated 2 years ago
• JordanMicahBennett / God
  A non-absolute, time-space complex optimal artificial brain (composed in matrix laboratory (matlab), by Jordan Micah Bennett)
  ☆22Updated 5 years ago
• brandonwillard / kanren-old
  Logic Programming in Python
  ☆31Updated 3 years ago
• benjamin-recht / mnist_1_pt_2
  1.2% test error on MNIST using only least squares and numpy calls.
  ☆18Updated last year
• billwadge / pyLucid
  Book lucid interpreter written in python
  ☆24Updated 5 years ago
• uclnlp / d4
  Differentiable Forth Interpreter
  ☆69Updated 7 years ago
• oughtinc / patchwork
  Command-line recursive question-answering with immutable contexts and explicit data store
  ☆25Updated 6 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated 11 months ago
• sebdumancic / pylo2
  Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
  ☆85Updated 3 years ago
• thearn / math-genealogy
  A python script to collect data from the mathematics genealogy project and generate genealogy graphs, combine graphs, etc.
  ☆35Updated 11 months ago
• WuTheFWasThat / PyChurch
  A probabilistic programming language, based on Church
  ☆17Updated 7 years ago
• Alex-Linhares / FARGonautica
  ☆115Updated last year
• SoarGroup / rosie
  Soar Agent (and SML code) that learns through situated interactive instruction in a robotic environment
  ☆32Updated last year
• 51alg / TerpreT
  ☆43Updated 7 years ago
• m-westphal / gqr
  GQR, a Fast Reasoner for Binary Qualitative Constraint Calculi
  ☆17Updated 7 years ago
• noahtren / Freewire
  An experiment with "freely" wired neural networks (no layers)
  ☆163Updated 7 months ago
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆200Updated 3 years ago
• edwhu / optical_illusion
  A simple optical illusion in python
  ☆42Updated 4 years ago