Alternatives and similar repositories for ggp-base:

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

• stassa / Gleemin
  A Magic: the Gathering™ expert system
  ☆92Updated 13 years ago
• Ludeme / LudiiTutorials
  This repository contains various tutorials for game design and programming with the Ludii general game system.
  ☆15Updated 2 years ago
• Orego / Orego
  Source code for Dr. Peter Drake's computer Go engine.
  ☆34Updated 9 years ago
• Ludeme / Ludii
  The Ludii general game system, developed as part of the ERC-funded Digital Ludeme Project.
  ☆113Updated last week
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆152Updated this week
• gsingh93 / gdl-parser
  A parser for GDL (game description language)
  ☆7Updated 9 years ago
• jcoder58 / PrologTutorials
  Prolog Tutorials and Information
  ☆170Updated 5 years ago
• dkappe / leela_lite
  A toolkit for experimenting with UCT and Leela Chess nets in Python.
  ☆16Updated last year
• AmziLS / AmziProlog
  Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.
  ☆119Updated 3 years ago
• pasky / michi
  Minimalistic Go MCTS Engine
  ☆277Updated 6 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆93Updated 8 months ago
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆451Updated 2 weeks ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆90Updated last year
• 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
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 4 years ago
• SWI-Prolog / packages-jpl
  JPL: The Prolog <-> Java interface
  ☆54Updated 2 weeks ago
• DaveAckley / MFM
  Movable Feast Machine C++ reference implementation and simulator
  ☆87Updated this week
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆120Updated 3 years ago
• triska / clpfd
  Constraint Logic Programming over Finite Domains
  ☆175Updated 5 years ago
• db3108 / michi-c
  Michi-c --- Michi (Minimalistic Go MCTS Engine) recoded in C
  ☆28Updated 7 years ago
• Ludeme / LudiiExampleAI
  Project with examples for the implementation of third-party AI algorithms / agents for the Ludii general game system.
  ☆28Updated 8 months ago
• tromp / tromp.github.io
  John Tromp homepage
  ☆22Updated last week
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆153Updated 11 months ago
• mndrix / edcg
  Extended DCG syntax for Prolog by Peter Van Roy
  ☆21Updated 7 years ago
• svn2github / fuego
  This is a clone of an SVN repository at svn://svn.code.sf.net/p/fuego/code/trunk. It had been cloned by http://svn2github.com/ , but the …
  ☆29Updated 6 years ago
• ezyang / logitext
  Beautiful, interactive visualizations of logical inference
  ☆150Updated 4 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated 11 months ago
• SWI-Prolog / swipl
  SWI-Prolog stable releases
  ☆226Updated 3 months ago
• featurecat / Influencie
  A fun way to visualize influence in the game of Go.
  ☆21Updated 6 years ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆117Updated 4 years ago