ggp-org / ggp-base
The General Game Playing Base Package
☆118Updated 3 years ago
Alternatives and similar repositories for ggp-base:
Users that are interested in ggp-base are comparing it to the libraries listed below
- Chess engine entirely written in Haskell☆49Updated 2 months ago
- The Ludii general game system, developed as part of the ERC-funded Digital Ludeme Project.☆111Updated this week
- An automated theorem prover for first-order logic.☆234Updated 3 years ago
- This repository contains various tutorials for game design and programming with the Ludii general game system.☆15Updated 2 years ago
- The Nomyx game☆85Updated last year
- A toolkit for experimenting with UCT and Leela Chess nets in Python.☆16Updated last year
- Beautiful, interactive visualizations of logical inference☆150Updated 3 years ago
- Project with examples for the implementation of third-party AI algorithms / agents for the Ludii general game system.☆28Updated 6 months ago
- StarCraft: Brood War AI in Scala☆100Updated 2 months ago
- Theorem proving in Lean☆48Updated 2 months ago
- Mostly Automated Synthesis of Correct-by-Construction Programs☆151Updated this week
- Allie: A UCI compliant chess engine☆106Updated 3 years ago
- ☆59Updated 5 years ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆56Updated 16 years ago
- An interactive version of a classic puzzle☆80Updated 7 years ago
- Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.☆277Updated 4 months ago
- Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]☆112Updated last week
- Retired multi-variant fork of popular UCI chess engine; please use Fairy-Stockfish instead☆132Updated 6 months ago
- This is the framework for the General Video Game Competition - http://www.gvgai.net/☆140Updated 6 years ago
- Holophrasm: a neural Automated Theorem Prover for higher-order logic☆52Updated 4 years ago
- Higher Order Prolog with Extensional Semantics☆53Updated 4 years ago
- Link to preprints for POPL'17 and co-located events☆100Updated 7 years ago
- Automatically exported from code.google.com/p/ghilbert☆48Updated 7 years ago
- Example how to call Haskell from Python easily (using ctypes.cdll.LoadLibrary)☆58Updated 12 years ago
- A black hole raytracer written in Haskell☆171Updated 3 years ago
- A port of Coq to Javascript -- Run Coq in your Browser☆520Updated 2 months ago
- Popeye is a chess problem solving and testing software with strong support for fairy chess and heterodox genres. For more information cf.…☆32Updated 3 months ago
- A formalization of category theory in the Coq proof assistant.☆94Updated 2 months ago
- PeaCoq is a pretty Coq, isn't it?☆106Updated 3 years ago
- The HOL Light theorem prover☆443Updated 3 weeks ago