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
- A list of Hanabi strategies☆169Updated last week
- State of the art Hanabi bots + simulation framework in rust☆45Updated last year
- A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.☆188Updated 2 weeks 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
- The HOL Light theorem prover☆456Updated last week
- metamath proof enumerators and other things☆94Updated 11 months ago
- A gym environment for Stuart Armstrong's model of a treacherous turn.☆18Updated 6 years ago
- ☆43Updated 7 years ago
- in progress☆72Updated 7 years ago
- CNF generator in DIMACS format. It produces common families of CNFs.☆68Updated last month
- ☆13Updated 3 years ago
- ☆13Updated last year
- The Ludii general game system, developed as part of the ERC-funded Digital Ludeme Project.☆124Updated 2 weeks ago
- A Learning Environment for Theorem Proving☆75Updated 3 years ago
- Transfinite ordinal arithmetic and factorisation up to epsilon-zero☆15Updated 3 years ago
- Lingeling SAT Solver☆102Updated last year
- Patched version of HOL Light with tactic logging for machine learning purposes☆34Updated 5 years ago
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 8 years ago
- gui for board game hex (and Y) by broderick arneson☆14Updated last year
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 11 years ago
- Tournament Manager Software for StarCraft AI Competitions☆77Updated 4 years ago
- A slackbot to compete on mini crosswords (or any other daily challenge).☆16Updated 3 years ago
- Repository for the QED interactive text and possible extensions☆102Updated 5 months ago
- NeuroSAT: Learning a SAT Solver from Single-Bit Supervision☆284Updated 6 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆159Updated 2 weeks ago
- An interface to SAT solver tools (like minisat)☆60Updated 2 years ago
- 2048 AI☆89Updated 8 years ago
- The Fhourstones benchmark by John Tromp (http://homepages.cwi.nl/~tromp/c4/fhour.html)☆49Updated 10 years ago
- Computer players for a collaborative card game☆25Updated 6 years ago