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.☆37Updated 6 years ago
- State of the art Hanabi bots + simulation framework in rust☆45Updated 2 years ago
- A list of Hanabi strategies☆178Updated last week
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆47Updated 5 years ago
- A gym environment for Stuart Armstrong's model of a treacherous turn.☆18Updated 7 years ago
- A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.☆202Updated this week
- A Learning Environment for Theorem Proving☆76Updated 3 years ago
- Program Synthesis☆146Updated 4 years ago
- StarCraft: Brood War AI in Scala☆104Updated 3 months ago
- Research code implementing the search AI agent for Hanabi, as well as a web server so people can play against it☆129Updated 2 years ago
- ☆42Updated 8 years ago
- ☆13Updated 3 years ago
- This is the framework for the General Video Game Competition - http://www.gvgai.net/☆140Updated 7 years ago
- Code to accompany "Human-Level Performance in No-Press Diplomacy via Equilibrium Search", published at ICLR 2021☆50Updated 3 years ago
- Karel dataset for program synthesis and program induction☆79Updated 8 years ago
- UCThello - a board game demonstrator (Othello variant) with computer AI using Monte Carlo Tree Search (MCTS) with UCB (Upper Confidence B…☆25Updated 9 months ago
- Tournament Manager Software for StarCraft AI Competitions☆78Updated 5 years ago
- deep learning for math☆29Updated 6 years ago
- Specify and synthesize systems using symbolic algorithms☆52Updated last month
- Learning from zero (mostly based off of AlphaZero) in General Game Playing.☆85Updated 3 years ago
- CNF generator in DIMACS format. It produces common families of CNFs.☆70Updated 5 months ago
- NeuroSAT: Learning a SAT Solver from Single-Bit Supervision☆290Updated 6 years ago
- AIXIjs - General Reinforcement Learning in the Browser☆149Updated 5 years ago
- A simple and highly efficient RTS-game-inspired environment for reinforcement learning☆337Updated 5 months ago
- Patched version of HOL Light with tactic logging for machine learning purposes☆34Updated 5 years ago
- different AI algorithms to solve board games☆19Updated 7 years ago
- A Learning Environment for Theorem Proving with the Coq proof assistant☆414Updated 2 years ago
- ☆113Updated 3 years ago
- ☆44Updated 2 years ago
- Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project☆13Updated 2 years ago