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 last year
- A list of Hanabi strategies☆170Updated last week
- ☆13Updated 3 years ago
- Patched version of HOL Light with tactic logging for machine learning purposes☆34Updated 5 years ago
- Learning from zero (mostly based off of AlphaZero) in General Game Playing.☆84Updated 2 years ago
- ☆42Updated 8 years ago
- A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.☆193Updated last month
- Program Synthesis☆145Updated 4 years ago
- A Learning Environment for Theorem Proving☆75Updated 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
- Python-based HEX implementation for a fragment of the HEX language and a subset of features.☆14Updated 3 years ago
- StarCraft: Brood War AI in Scala☆105Updated 3 weeks ago
- A gym environment for Stuart Armstrong's model of a treacherous turn.☆18Updated 7 years ago
- This is the framework for the General Video Game Competition - http://www.gvgai.net/☆138Updated 7 years ago
- Repository for the Ludii AI Competition☆32Updated 3 years ago
- Code to accompany "Human-Level Performance in No-Press Diplomacy via Equilibrium Search", published at ICLR 2021☆48Updated 3 years ago
- experimental chess engine based on temporal-difference reinforcement learning☆28Updated 8 years ago
- ARC Community Project☆22Updated last year
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆45Updated 5 years ago
- An engine + analysis interface for duck chess☆22Updated last year
- Framework for inspecting actions and observatinos in StarCraftII replays☆20Updated 7 years ago
- Neural Programmer-Interpreter Implementation (Reed, de Freitas: https://arxiv.org/abs/1511.06279), in Tensorflow☆42Updated 6 years ago
- gui for board game hex (and Y) by broderick arneson☆15Updated last year
- Research code implementing the search AI agent for Hanabi, as well as a web server so people can play against it☆128Updated 2 years ago
- Karel dataset for program synthesis and program induction☆79Updated 7 years ago
- A video game description language (VGDL) built on top pf pygame.☆157Updated 6 years ago
- CNF generator in DIMACS format. It produces common families of CNFs.☆68Updated 3 weeks ago
- metamath proof enumerators and other things☆94Updated last year
- Repo with code for Ludii's built-in AIs.☆23Updated 2 years ago