rjtobin / HanSim
A simulator for strategies of a well-known cooperative card game.
☆15Updated 8 years ago
Alternatives and similar repositories for HanSim:
Users that are interested in HanSim are comparing it to the libraries listed below
- Framework for writing bots that play Hanabi.☆36Updated 5 years ago
- State of the art Hanabi bots + simulation framework in rust☆44Updated last year
- A list of Hanabi strategies☆165Updated this week
- A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.☆183Updated last month
- 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
- Computer players for a collaborative card game☆25Updated 5 years ago
- ☆18Updated 5 years ago
- Patched version of HOL Light with tactic logging for machine learning purposes☆34Updated 5 years ago
- Program Synthesis☆144Updated 3 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆129Updated 10 years ago
- deep learning for math☆29Updated 5 years ago
- An implementation of the AlphaZero algorithm for chess☆33Updated 2 years ago
- A slackbot to compete on mini crosswords (or any other daily challenge).☆16Updated 2 years ago
- CNF generator in DIMACS format. It produces common families of CNFs.☆63Updated 9 months ago
- metamath proof enumerators and other things☆91Updated 6 months ago
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 8 years ago
- AIUR (Artificial Intelligence Using Randomness) is an AI for StarCraft: Brood War.☆19Updated 10 years ago
- ☆42Updated 7 years ago
- Repository for the QED interactive text and possible extensions☆96Updated 3 weeks ago
- A Learning Environment for Theorem Proving☆73Updated 2 years ago
- Learning from zero (mostly based off of AlphaZero) in General Game Playing.☆81Updated 2 years ago
- This is the framework for the General Video Game Competition - http://www.gvgai.net/☆140Updated 6 years ago
- Repository for the Ludii AI Competition☆31Updated 2 years ago
- ☆14Updated 10 months ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Tournament Manager Software for StarCraft AI Competitions☆77Updated 4 years ago
- VGDL 2.0: A video game description language for AI research☆62Updated 2 years ago
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆16Updated 7 years ago
- StarCraft: Brood War AI in Scala☆101Updated 3 months ago
- Command-line recursive question-answering with immutable contexts and explicit data store☆25Updated 6 years ago