Alternatives and similar repositories for ergo

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

• fargonauts / copycat
  Modern port of Melanie Mitchell's and Douglas Hofstadter's Copycat
  ☆122Updated 5 months ago
• koskenni / beta
  An open source reimplementation of Benny Brodda's BETA in Python
  ☆62Updated 5 years ago
• Alex-Linhares / FARGonautica
  ☆118Updated 4 months ago
• ContextLab / human-memory
  Course materials for Dartmouth course: Human Memory (PSYC 51.09)
  ☆261Updated 5 months ago
• noahtren / Freewire
  An experiment with "freely" wired neural networks (no layers)
  ☆164Updated last year
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 5 years ago
• MNoorFawi / pytholog
  Python library that enables using prolog syntax and logic programming in python
  ☆127Updated 2 years ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆97Updated last year
• probmods / probmods2
  probmods 2: electric boogaloo
  ☆313Updated last year
• johnswentworth / tracelang
  Read, write and manipulate code which reads, writes and manipulates code.
  ☆10Updated 5 years ago
• dunn / modernphilosophy
  A Markdown version of the free textbook created by Walter Ott
  ☆23Updated 11 years ago
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆205Updated 4 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…
  ☆252Updated last year
• sebdumancic / pylo2
  Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
  ☆86Updated 3 years ago
• mathemajician / AIQ
  Algorithmic Intelligence Quotient
  ☆39Updated 3 years ago
• pythological / kanren
  An extensible, lightweight relational/logic programming DSL written in pure Python
  ☆222Updated last month
• AndrewSmart / opencyc
  A fork of opencyc which adds auto-complete to sentence assertion in the browser interface.
  ☆54Updated 9 years ago
• SoarGroup / Soar
  Soar, a general cognitive architecture for systems that exhibit intelligent behavior.
  ☆360Updated this week
• thearn / math-genealogy
  A python script to collect data from the mathematics genealogy project and generate genealogy graphs, combine graphs, etc.
  ☆35Updated last year
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆178Updated last year
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 10 months ago
• forestdb / forestdb.org
  A repository for generative models
  ☆117Updated 3 months ago
• devinmcgloin / theory
  Interesting Papers and Ideas
  ☆85Updated 8 years ago
• droodman / Modeling-Human-Trajectory
  Code + data archive for "Modeling the Human Trajectory"
  ☆29Updated last year
• joschabach / micropsi2
  Python version of cognitive architecture MicroPsi
  ☆181Updated 3 years ago
• mirefek / geo_logic
  Tool for euclidean geometry aware of logic
  ☆88Updated last year
• probmods / webchurch
  A Church to Javascript compiler (DEPRECATED)
  ☆141Updated 7 years ago
• agentmodels / agentmodels.org
  Modeling agents with probabilistic programs
  ☆67Updated 6 years ago
• probmods / chapters
  The online textbook Probabilistic Models of Cognition
  ☆167Updated 8 years ago
• openworm / owmeta
  Unified, simple data access python library for data & facts about C. elegans anatomy
  ☆154Updated last year