rjtobin / HanSim
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☆165Updated this week
- A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.☆187Updated 2 months 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
- ☆13Updated 3 years ago
- Patched version of HOL Light with tactic logging for machine learning purposes☆34Updated 5 years ago
- ☆18Updated 5 years ago
- Karel dataset for program synthesis and program induction☆79Updated 7 years ago
- The General Game Playing Base Package☆120Updated 4 years ago
- Tournament Manager Software for StarCraft AI Competitions☆77Updated 4 years ago
- metamath proof enumerators and other things☆93Updated 9 months ago
- Repository for the Ludii AI Competition☆31Updated 2 years ago
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 8 years ago
- VGDL 2.0: A video game description language for AI research☆63Updated 2 years ago
- Repository for the QED interactive text and possible extensions☆98Updated 3 months ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆17Updated 3 years ago
- This is the framework for the General Video Game Competition - http://www.gvgai.net/☆139Updated 6 years ago
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆15Updated 8 years ago
- Code to accompany "Human-Level Performance in No-Press Diplomacy via Equilibrium Search", published at ICLR 2021☆47Updated 2 years ago
- Forward Modeling for Partial Observation Strategy Games - A StarCraft Defogger☆31Updated 3 years ago
- A video game description language (VGDL) built on top pf pygame.☆156Updated 5 years ago
- A rewrite of hanabi-bot in Scala☆16Updated 3 years ago
- ☆43Updated 7 years ago
- Manipulate NNF (Negation Normal Form) logical sentences☆17Updated 2 years ago
- Program Synthesis☆145Updated 4 years ago
- DeepAlgebra☆25Updated 7 years ago
- ZZZKBot is a bot (AI) for Starcraft: Broodwar. It is designed to compete against other bots. It is not designed to compete against humans…☆60Updated 7 years ago
- Java interface to the Brood War API☆29Updated 10 years ago
- Convert sc2 environment to gym-atari and play some mini-games☆22Updated 7 years ago