Alternatives and similar repositories for ggp-base:

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

• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆236Updated 3 years ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆150Updated 3 years ago
• Ludeme / Ludii
  The Ludii general game system, developed as part of the ERC-funded Digital Ludeme Project.
  ☆111Updated this week
• Ludeme / LudiiTutorials
  This repository contains various tutorials for game design and programming with the Ludii general game system.
  ☆15Updated 2 years ago
• DaveAckley / MFM
  Movable Feast Machine C++ reference implementation and simulator
  ☆87Updated 3 months ago
• Ludeme / LudiiExampleAI
  Project with examples for the implementation of third-party AI algorithms / agents for the Ludii general game system.
  ☆28Updated 7 months ago
• nomyx / Nomyx
  The Nomyx game
  ☆85Updated last year
• chrisamaphone / interactive-lp
  Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.
  ☆277Updated 5 months ago
• logicmoo / logicmoo_workspace
  https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/
  ☆44Updated last year
• nicoabie / quickcheck
  Randomized testing for Prolog à la QuickCheck
  ☆23Updated 5 years ago
• chorasimilarity / chemlambda-gui
  Life like molecular computers with artificial chemistry.
  ☆134Updated 2 years ago
• pasky / michi
  Minimalistic Go MCTS Engine
  ☆277Updated 6 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆67Updated 2 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 10 years ago
• mndrix / edcg
  Extended DCG syntax for Prolog by Peter Van Roy
  ☆21Updated 6 years ago
• marekesz / rbg
  The official RBG release repository.
  ☆11Updated 3 years ago
• schaul / py-vgdl
  A video game description language (VGDL) built on top pf pygame.
  ☆154Updated 5 years ago
• mit-plv / fiat
  Mostly Automated Synthesis of Correct-by-Construction Programs
  ☆151Updated last month
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆87Updated last year
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆200Updated 3 years ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆51Updated 3 months ago
• gsingh93 / gdl-parser
  A parser for GDL (game description language)
  ☆7Updated 9 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 7 months ago
• Ptival / PeaCoq
  PeaCoq is a pretty Coq, isn't it?
  ☆106Updated 3 years ago
• sysulic / MEPK
  A General Multi-agent Epistemic Planner Based on Higher-order Belief Change
  ☆10Updated this week
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 4 years ago
• SMLFamily / The-Definition-of-Standard-ML-Revised
  The Definition of Standard ML, Revised (1997)
  ☆114Updated 7 years ago
• andrejbauer / marshall
  Real number computation software
  ☆123Updated 2 years ago
• nh2 / haskell-from-python
  Example how to call Haskell from Python easily (using ctypes.cdll.LoadLibrary)
  ☆58Updated 12 years ago
• EssexUniversityMCTS / gvgai
  This is the framework for the General Video Game Competition - http://www.gvgai.net/
  ☆140Updated 6 years ago