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 6 years ago
• asanchez75 / opencyc
  ☆281Updated 5 years ago
• fargonauts / copycat
  Modern port of Melanie Mitchell's and Douglas Hofstadter's Copycat
  ☆122Updated 8 months ago
• sebdumancic / pylo2
  Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
  ☆86Updated 4 years ago
• probmods / webchurch
  A Church to Javascript compiler (DEPRECATED)
  ☆141Updated 7 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated last year
• probmods / probmods2
  probmods 2: electric boogaloo
  ☆320Updated 2 years ago
• photonlines / Python-Prolog-Interpreter
  A simple Prolog Interpreter written in a few lines of Python 3. It runs a limited subset of Prolog and uses backtracking and generators i…
  ☆253Updated 2 years ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 5 years ago
• ContextLab / human-memory
  Course materials for Dartmouth course: Human Memory (PSYC 51.09)
  ☆262Updated 8 months ago
• noahtren / Freewire
  An experiment with "freely" wired neural networks (no layers)
  ☆164Updated last year
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆96Updated 2 years ago
• Alex-Linhares / FARGonautica
  ☆119Updated 7 months ago
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆206Updated 4 years ago
• meiyulee / continuous_Bernoulli
  There are C language computer programs about the simulator, transformation, and test statistic of continuous Bernoulli distribution. More…
  ☆25Updated last year
• MNoorFawi / pytholog
  Python library that enables using prolog syntax and logic programming in python
  ☆128Updated 2 years ago
• forestdb / forestdb.org
  A repository for generative models
  ☆117Updated 7 months ago
• Hellisotherpeople / Language-games
  Dead simple games made with word vectors.
  ☆97Updated 5 years ago
• mirefek / geo_logic
  Tool for euclidean geometry aware of logic
  ☆88Updated last year
• white-flame / eurisko
  Doug Lenat's EURISKO from SAIL archives circa 1981
  ☆68Updated last year
• thearn / math-genealogy
  A python script to collect data from the mathematics genealogy project and generate genealogy graphs, combine graphs, etc.
  ☆34Updated last year
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆180Updated last year
• probmods / chapters
  The online textbook Probabilistic Models of Cognition
  ☆169Updated 8 years ago
• johnswentworth / tracelang
  Read, write and manipulate code which reads, writes and manipulates code.
  ☆10Updated 5 years ago
• AndrewSmart / opencyc
  A fork of opencyc which adds auto-complete to sentence assertion in the browser interface.
  ☆55Updated 9 years ago
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆43Updated 3 years ago
• SoarGroup / Soar
  Soar, a general cognitive architecture for systems that exhibit intelligent behavior.
  ☆394Updated last week
• joschabach / micropsi2
  Python version of cognitive architecture MicroPsi
  ☆182Updated 3 years ago
• compcalc / compcalc.github.io
  🧮 Reading group about differential, integral and logical calculi.
  ☆26Updated last year
• mnielsen / magic_paper
  Experiments in an explorable visual medium for mathematics
  ☆264Updated 8 years ago