Alternatives and similar repositories for ggp-base

Users that are interested in ggp-base are comparing it to the libraries listed below

• 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
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆240Updated 3 years ago
• stassa / Gleemin
  A Magic: the Gathering™ expert system
  ☆94Updated 13 years ago
• Ludeme / Ludii
  The Ludii general game system, developed as part of the ERC-funded Digital Ludeme Project.
  ☆127Updated this week
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆161Updated last week
• triska / clpz
  Constraint Logic Programming over Integers
  ☆202Updated last year
• nomyx / Nomyx
  The Nomyx game
  ☆84Updated last year
• vscosta / yap-6.3
  YAP Development release
  ☆15Updated 4 years ago
• DaveAckley / MFM
  Movable Feast Machine C++ reference implementation and simulator
  ☆91Updated 2 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated 11 months ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆91Updated 3 weeks ago
• theoremprover-museum / logic-theorist
  The sources of the first theorem prover.
  ☆63Updated 7 years ago
• SWI-Prolog / swipl
  SWI-Prolog stable releases
  ☆225Updated 6 months ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆182Updated 5 years ago
• mndrix / mavis
  Optional types for Prolog
  ☆11Updated 6 years ago
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆203Updated 3 years ago
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆49Updated last year
• mndrix / prolog_library_ideas
  Random ideas about libraries for Prolog
  ☆12Updated 8 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 11 years ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆118Updated 4 years ago
• stassa / metasplain
  Explainable machine learning
  ☆17Updated 6 years ago
• logicmoo / logicmoo_workspace
  https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/
  ☆44Updated last year
• featurecat / Influencie
  A fun way to visualize influence in the game of Go.
  ☆21Updated 6 years ago
• sysulic / MEPK
  A General Multi-agent Epistemic Planner Based on Higher-order Belief Change
  ☆10Updated 4 months ago
• chorasimilarity / chemlambda-gui
  Life like molecular computers with artificial chemistry.
  ☆136Updated 2 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated 10 months ago
• nicoabie / quickcheck
  Randomized testing for Prolog à la QuickCheck
  ☆23Updated 5 years ago
• eprover / eprover
  ☆146Updated this week
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆48Updated 3 weeks ago