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
  ☆58Updated 17 years ago
• acharal / wam
  A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
  ☆20Updated 5 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆242Updated 4 years ago
• stassa / Gleemin
  A Magic: the Gathering™ expert system
  ☆95Updated 14 years ago
• SWI-Prolog / packages-jpl
  JPL: The Prolog <-> Java interface
  ☆58Updated this week
• nomyx / Nomyx
  The Nomyx game
  ☆86Updated 2 years ago
• Ludeme / Ludii
  The Ludii general game system, developed as part of the ERC-funded Digital Ludeme Project.
  ☆139Updated 2 weeks ago
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆207Updated 4 years ago
• DaveAckley / MFM
  Movable Feast Machine C++ reference implementation and simulator
  ☆95Updated 8 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 2 months ago
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆52Updated last year
• SWI-Prolog / swipl
  SWI-Prolog stable releases
  ☆235Updated last month
• vscosta / yap-6.3
  YAP Development release
  ☆17Updated 5 years ago
• chrisamaphone / interactive-lp
  Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.
  ☆284Updated last year
• logicmoo / logicmoo_workspace
  https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/
  ☆44Updated 2 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆77Updated last year
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 5 years ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆188Updated 6 years ago
• SoarGroup / Soar
  Soar, a general cognitive architecture for systems that exhibit intelligent behavior.
  ☆399Updated 3 weeks ago
• eprover / eprover
  ☆162Updated this week
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆118Updated 5 years ago
• theoremprover-museum / logic-theorist
  The sources of the first theorem prover.
  ☆67Updated 8 years ago
• adamyedidia / parsimony
  ☆347Updated 7 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆196Updated last week
• triska / clpz
  Constraint Logic Programming over Integers
  ☆210Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 7 months ago
• RBornat / jape
  Jape, a configurable proof editor (best at natural deduction and sequent calculus)
  ☆51Updated 2 years ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆151Updated 4 years ago
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆172Updated last year
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆50Updated 3 months ago