rjtobin / HanSimLinks
A simulator for strategies of a well-known cooperative card game.
☆15Updated 9 years ago
Alternatives and similar repositories for HanSim
Users that are interested in HanSim are comparing it to the libraries listed below
Sorting:
- Framework for writing bots that play Hanabi.☆36Updated 6 years ago
- State of the art Hanabi bots + simulation framework in rust☆45Updated last year
- A list of Hanabi strategies☆167Updated last week
- Computer players for a collaborative card game☆25Updated 6 years ago
- Patched version of HOL Light with tactic logging for machine learning purposes☆34Updated 5 years ago
- A Learning Environment for Theorem Proving☆75Updated 2 years ago
- a Python library for combinatorial exploration☆12Updated last month
- deep learning for math☆29Updated 6 years ago
- Python talking to the Lean theorem prover☆44Updated 3 years ago
- ☆43Updated 7 years ago
- A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.☆187Updated 3 months ago
- metamath proof enumerators and other things☆93Updated 10 months ago
- Modification to Coq to record intermediate proof states encountered during a proof☆8Updated 6 years ago
- DeepAlgebra☆25Updated 7 years ago
- This is the framework for the General Video Game Competition - http://www.gvgai.net/☆138Updated 7 years ago
- Theorem proving in Lean☆49Updated 7 months ago
- StarCraft: Brood War AI in Scala☆103Updated 7 months ago
- ☆13Updated 3 years ago
- Source code of the MaastCTS2 agent for General Video Game playing. Champion of the 2016 GVG-AI Single-Player Track, and runner-up of the …☆14Updated 3 years ago
- Implementation of https://medium.com/ai-control/alba-an-explicit-proposal-for-aligned-ai-17a55f60bbcf☆27Updated 8 years ago
- ☆18Updated 5 years ago
- ☆40Updated 6 years ago
- Repository for the Ludii AI Competition☆31Updated 2 years ago
- StarCraft BroodWar AI Java Framework based on JBWAPI 2.1.0☆57Updated 4 months ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆34Updated 2 years ago
- Program Synthesis☆145Updated 4 years ago
- ☆27Updated 3 years ago
- Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]☆115Updated 4 months ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 10 years ago
- ☆79Updated 4 years ago