Alternatives and similar repositories for ggp-base

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

• DaveAckley / MFM
  Movable Feast Machine C++ reference implementation and simulator
  ☆91Updated 3 weeks ago
• Ludeme / Ludii
  The Ludii general game system, developed as part of the ERC-funded Digital Ludeme Project.
  ☆120Updated last month
• chorasimilarity / chemlambda-gui
  Life like molecular computers with artificial chemistry.
  ☆136Updated 2 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
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆158Updated last week
• elenasa / ULAM
  Compiler for MFM programming language
  ☆59Updated 2 months ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆148Updated 4 years ago
• machine-intelligence / Botworld
  A cellular automaton for studying self-modifying agents which are embedded in their environment
  ☆129Updated 10 years ago
• nomyx / Nomyx
  The Nomyx game
  ☆84Updated last year
• Ludeme / LudiiExampleAI
  Project with examples for the implementation of third-party AI algorithms / agents for the Ludii general game system.
  ☆30Updated 10 months ago
• chris-taylor / aima-haskell
  Algorithms from AIMA in Haskell
  ☆333Updated 7 years ago
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆121Updated 3 years ago
• dgant / PurpleWave
  StarCraft: Brood War AI in Scala
  ☆103Updated 7 months ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated 8 months ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆91Updated last year
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆156Updated last year
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆457Updated last week
• OliverColeman / ahni
  Another HyperNEAT Implementation
  ☆70Updated 6 years ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated last month
• nionita / Barbarossa
  Chess engine entirely written in Haskell
  ☆50Updated last week
• peter-ch / MultiNEAT
  Portable NeuroEvolution Library
  ☆330Updated last year
• jonklein / Psh
  Java implementation of the Push programming language, a stack based language designed for genetic programming.
  ☆25Updated 13 years ago
• rjtobin / HanSim
  A simulator for strategies of a well-known cooperative card game.
  ☆15Updated 9 years ago
• erp12 / pyshgp
  Push Genetic Programming in Python.
  ☆75Updated last year
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆201Updated 3 years ago
• msakai / cpl
  An interpreter of Hagino's Categorical Programming Language (CPL).
  ☆121Updated last year
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• jscoq / jscoq
  A port of Coq to Javascript -- Run Coq in your Browser
  ☆525Updated 7 months ago