Alternatives and similar repositories for ggp-base

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

• acharal / wam
  A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
  ☆20Updated 5 years ago
• akkartik / am-utexas
  Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin
  ☆58Updated 16 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆241Updated 3 years ago
• Ludeme / Ludii
  The Ludii general game system, developed as part of the ERC-funded Digital Ludeme Project.
  ☆132Updated last month
• chorasimilarity / chemlambda-gui
  Life like molecular computers with artificial chemistry.
  ☆137Updated 3 years ago
• stassa / Gleemin
  A Magic: the Gathering™ expert system
  ☆95Updated 13 years ago
• nomyx / Nomyx
  The Nomyx game
  ☆84Updated last year
• adamyedidia / parsimony
  ☆343Updated 7 years ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆186Updated 5 years ago
• chrisamaphone / interactive-lp
  Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.
  ☆280Updated last year
• DaveAckley / MFM
  Movable Feast Machine C++ reference implementation and simulator
  ☆93Updated 5 months ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆170Updated last week
• SWI-Prolog / swipl
  SWI-Prolog stable releases
  ☆227Updated 9 months ago
• vscosta / yap-6.3
  YAP Development release
  ☆16Updated 4 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆130Updated 11 years ago
• SWI-Prolog / packages-jpl
  JPL: The Prolog <-> Java interface
  ☆57Updated last week
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆205Updated 4 years ago
• triska / clpz
  Constraint Logic Programming over Integers
  ☆209Updated last year
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆91Updated last year
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆47Updated 8 years ago
• SoarGroup / Soar
  Soar, a general cognitive architecture for systems that exhibit intelligent behavior.
  ☆360Updated 2 weeks ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆149Updated 4 years ago
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆123Updated 3 years ago
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆119Updated 2 months ago
• logicmoo / logicmoo_workspace
  https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/
  ☆44Updated 2 years ago
• nwf / dyna
  Dyna2 compiler and REPL
  ☆147Updated 5 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated last year
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆91Updated 3 months ago
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆163Updated last year
• nomeata / incredible
  The Incredible Proof Machine
  ☆383Updated 7 months ago