ggp-org / ggp-baseLinks
The General Game Playing Base Package
☆121Updated 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:
- An automated theorem prover for first-order logic.☆242Updated 4 years ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆58Updated 17 years ago
- The Ludii general game system, developed as part of the ERC-funded Digital Ludeme Project.☆137Updated 3 weeks ago
- The Nomyx game☆84Updated 2 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆194Updated last week
- A Magic: the Gathering™ expert system☆95Updated 13 years ago
- Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.☆283Updated last year
- Collapsing Towers of Interpreters☆93Updated 6 months ago
- Formalizations of Gödel's Ontological Proof of God's Existence☆459Updated 6 years ago
- Life like molecular computers with artificial chemistry.☆138Updated 3 years ago
- Beautiful, interactive visualizations of logical inference☆150Updated 4 years ago
- https://jenkins.logicmoo.org/job/logicmoo_workspace https://logicmoo.org/xwiki/☆44Updated 2 years ago
- Movable Feast Machine C++ reference implementation and simulator☆95Updated 7 months ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 11 years ago
- The Incredible Proof Machine☆387Updated 3 weeks ago
- Parser for Attempto Controlled English (ACE)☆209Updated last year
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆246Updated 11 years ago
- A General Multi-agent Epistemic Planner Based on Higher-order Belief Change☆10Updated 10 months ago
- metamath proof enumerators and other things☆92Updated last month
- Constraint Logic Programming over Finite Domains☆187Updated 5 years ago
- SWI-Prolog stable releases☆232Updated 3 weeks ago
- ☆161Updated last month
- Automatically exported from code.google.com/p/ghilbert☆47Updated 8 years ago
- Prolog Tutorials and Information☆173Updated 6 years ago
- Randomized testing for Prolog à la QuickCheck☆23Updated 6 years ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆160Updated last year
- This repository contains the Maude 2 interpreter source tree.☆43Updated 8 years ago
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆124Updated 3 years ago
- Higher Order Prolog with Extensional Semantics☆53Updated 5 years ago
- A terse declarative logic programming language☆118Updated 5 years ago