ggp-org / ggp-base
The General Game Playing Base Package
☆120Updated 4 years ago
Alternatives and similar repositories for ggp-base
Users that are interested in ggp-base are comparing it to the libraries listed below
Sorting:
- The Ludii general game system, developed as part of the ERC-funded Digital Ludeme Project.☆116Updated last week
- Another HyperNEAT Implementation☆70Updated 6 years ago
- This repository contains various tutorials for game design and programming with the Ludii general game system.☆15Updated 2 years ago
- Source code for Dr. Peter Drake's computer Go engine.☆34Updated 9 years ago
- MiniZinc documentation☆16Updated 2 years ago
- Chess engine entirely written in Haskell☆50Updated 2 months ago
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆120Updated 3 years ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆57Updated 16 years ago
- Example repo for running Python-based AIs in Ludii☆12Updated 2 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 10 years ago
- Life like molecular computers with artificial chemistry.☆136Updated 2 years ago
- metamath proof enumerators and other things☆93Updated 9 months ago
- An implementation of and AI for the game of Tak☆58Updated last year
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- Minimalistic Go MCTS Engine☆276Updated 7 years ago
- SWI-Prolog stable releases☆225Updated 4 months ago
- Compiler for MFM programming language☆59Updated last month
- A terse declarative logic programming language☆118Updated 4 years ago
- Beautiful, interactive visualizations of logical inference☆148Updated 4 years ago
- Movable Feast Machine C++ reference implementation and simulator☆91Updated this week
- A Magic: the Gathering™ expert system☆93Updated 13 years ago
- Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.☆278Updated 8 months ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- Michi-c --- Michi (Minimalistic Go MCTS Engine) recoded in C☆28Updated 7 years ago
- An automated theorem prover for first-order logic.☆238Updated 3 years ago
- Project with examples for the implementation of third-party AI algorithms / agents for the Ludii general game system.☆30Updated 10 months ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆155Updated last year
- GTP Wrapper to allow bots to interface with the Online-Go.com Server☆90Updated last month
- Constraint Logic Programming over Integers☆200Updated last year
- Fast, simplified WAM-based Prolog system☆22Updated this week