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.
  ☆114Updated 3 weeks ago
• Ludeme / LudiiTutorials
  This repository contains various tutorials for game design and programming with the Ludii general game system.
  ☆15Updated 2 years ago
• nionita / Barbarossa
  Chess engine entirely written in Haskell
  ☆50Updated last month
• stepchowfun / theorem-prover
  An automated theorem prover for first-order logic.
  ☆237Updated 3 years ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆90Updated last year
• Ludeme / LudiiExampleAI
  Project with examples for the implementation of third-party AI algorithms / agents for the Ludii general game system.
  ☆29Updated 9 months ago
• stassa / Gleemin
  A Magic: the Gathering™ expert system
  ☆93Updated 13 years ago
• nomeata / incredible
  The Incredible Proof Machine
  ☆374Updated last month
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆120Updated 3 years ago
• eprover / eprover
  ☆138Updated this week
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆74Updated 7 months ago
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated 5 months ago
• chrisamaphone / interactive-lp
  Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.
  ☆278Updated 7 months ago
• alexpatel / lean-modal
  modal logic library for LEAN theorem prover
  ☆11Updated 7 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated last year
• rjtobin / HanSim
  A simulator for strategies of a well-known cooperative card game.
  ☆15Updated 9 years ago
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆155Updated last year
• DaveAckley / MFM
  Movable Feast Machine C++ reference implementation and simulator
  ☆88Updated 3 weeks ago
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆453Updated last week
• SWI-Prolog / swipl
  SWI-Prolog stable releases
  ☆225Updated 4 months ago
• nicoabie / quickcheck
  Randomized testing for Prolog à la QuickCheck
  ☆23Updated 5 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 8 months 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
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆45Updated 2 weeks ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆118Updated 4 years ago
• Ptival / PeaCoq
  PeaCoq is a pretty Coq, isn't it?
  ☆105Updated 3 years ago
• raphlinus / ghilbert
  Automatically exported from code.google.com/p/ghilbert
  ☆48Updated 7 years ago
• tammet / logictools
  The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical pred…
  ☆72Updated 4 years ago
• dkappe / leela_lite
  A toolkit for experimenting with UCT and Leela Chess nets in Python.
  ☆16Updated last year