Alternatives and similar repositories for ggp-base

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

• Ludeme / Ludii
  The Ludii general game system, developed as part of the ERC-funded Digital Ludeme Project.
  ☆124Updated 2 weeks ago
• Ludeme / LudiiExampleAI
  Project with examples for the implementation of third-party AI algorithms / agents for the Ludii general game system.
  ☆30Updated 11 months ago
• Ludeme / LudiiTutorials
  This repository contains various tutorials for game design and programming with the Ludii general game system.
  ☆15Updated 3 years ago
• stassa / Gleemin
  A Magic: the Gathering™ expert system
  ☆93Updated 13 years ago
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆240Updated 3 years ago
• Janzert / AEI
  The Arimaa Engine Interface provides a standard method to communicate and control an Arimaa bot.
  ☆23Updated 4 years ago
• pasky / michi
  Minimalistic Go MCTS Engine
  ☆275Updated 7 years ago
• nomyx / Nomyx
  The Nomyx game
  ☆84Updated last year
• nionita / Barbarossa
  Chess engine entirely written in Haskell
  ☆52Updated last month
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 11 years ago
• nomeata / incredible
  The Incredible Proof Machine
  ☆377Updated 3 months ago
• 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
• DaveAckley / MFM
  Movable Feast Machine C++ reference implementation and simulator
  ☆91Updated last month
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆159Updated 2 weeks ago
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆456Updated last week
• dkappe / leela_lite
  A toolkit for experimenting with UCT and Leela Chess nets in Python.
  ☆16Updated last year
• cdglabs / prolog-viz
  The best Prolog visualizer
  ☆85Updated 2 years ago
• f3270 / NEAT
  Kenneth Stanley's NEAT code reorganized (tidier?)
  ☆98Updated 5 years ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆118Updated 4 years ago
• Orego / Orego
  Source code for Dr. Peter Drake's computer Go engine.
  ☆34Updated 9 years ago
• UniMath / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆246Updated 10 years ago
• chrisamaphone / interactive-lp
  Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.
  ☆277Updated 10 months ago
• rjtobin / HanSim
  A simulator for strategies of a well-known cooperative card game.
  ☆15Updated 9 years ago
• simbrain / simbrain
  Main repository for Simbrain code, documentation, and simulations.
  ☆95Updated this week
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆148Updated 4 years ago
• nh2 / haskell-from-python
  Example how to call Haskell from Python easily (using ctypes.cdll.LoadLibrary)
  ☆58Updated 12 years ago
• chris-taylor / aima-haskell
  Algorithms from AIMA in Haskell
  ☆333Updated 7 years ago
• chorasimilarity / chemlambda-gui
  Life like molecular computers with artificial chemistry.
  ☆136Updated 2 years ago
• theoremprover-museum / logic-theorist
  The sources of the first theorem prover.
  ☆62Updated 7 years ago
• bollu / cellularAutomata
  a collection of cellular automata written in Haskell with Diagrams
  ☆187Updated 6 years ago