Alternatives and similar repositories for ergo

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

• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 4 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 7 months ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆95Updated last year
• pbellon / tractatus-tree
  Visualization of the Wittgenstein's tractatus logico-philosophicus
  ☆64Updated 10 years ago
• msbrogli / sdm-framework
  A Sparse Distributed Memory Framework.
  ☆44Updated 5 years ago
• j2kun / riemann-divisor-sum
  Code for the series "Searching for Riemann Hypothesis Counterexamples"
  ☆21Updated last year
• thearn / math-genealogy
  A python script to collect data from the mathematics genealogy project and generate genealogy graphs, combine graphs, etc.
  ☆35Updated last year
• tomekkorbak / active-inference
  A toy model of Friston's active inference in Tensorflow
  ☆41Updated 7 years ago
• probmods / webchurch
  A Church to Javascript compiler (DEPRECATED)
  ☆140Updated 7 years ago
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆76Updated last month
• msbrogli / sdm
  Implementation of Sparse Distributed Memory created by Pentti Kanerva in 1988.
  ☆48Updated 7 years ago
• csxeba / trickster
  Reinforcement learning in TensorFlow 2
  ☆22Updated 3 years ago
• sebdumancic / pylo2
  Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
  ☆86Updated 3 years ago
• Alex-Linhares / FARGonautica
  ☆116Updated 3 weeks ago
• kach / chaos-game-fractal-foliage
  Code for "Learning to Play the Chaos Game: Dreaming of fractal foliage by differentiating iterated function systems"
  ☆15Updated 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
• sgkasselau / pyaixi
  ☆43Updated 3 years ago
• johnswentworth / tracelang
  Read, write and manipulate code which reads, writes and manipulates code.
  ☆10Updated 5 years ago
• WuTheFWasThat / PyChurch
  A probabilistic programming language, based on Church
  ☆17Updated 7 years ago
• ajhager / copycat
  A translation of Melanie Mitchell's original Copycat project from Lisp to Python.
  ☆44Updated 8 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• Quuxplusone / TNT
  Douglas Hofstadter's "Typographical Number Theory"
  ☆16Updated last year
• benjamin-recht / mnist_1_pt_2
  1.2% test error on MNIST using only least squares and numpy calls.
  ☆19Updated last year
• breck7 / research
  I moved this folder. Keeping this repo up for archival purposes only.
  ☆17Updated last year
• fargonauts / copycat
  Modern port of Melanie Mitchell's and Douglas Hofstadter's Copycat
  ☆121Updated 2 months ago
• patham9 / ANSNA
  Adaptive Neuro-Symbolic Network Agent
  ☆38Updated 3 years ago
• targodan / jupyter-swi-prolog
  A Jupyter Kernel for SWI-Prolog
  ☆25Updated 6 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• agentmodels / agentmodels.org
  Modeling agents with probabilistic programs
  ☆67Updated 5 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated 2 weeks ago