rjtobin / HanSim
A simulator for strategies of a well-known cooperative card game.
☆15Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for HanSim
- Framework for writing bots that play Hanabi.☆36Updated 5 years ago
- State of the art Hanabi bots + simulation framework in rust☆43Updated 11 months ago
- A list of Hanabi strategies☆163Updated this week
- 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☆24Updated 5 years ago
- Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis☆37Updated last year
- ☆18Updated 4 years ago
- A slackbot to compete on mini crosswords (or any other daily challenge).☆16Updated 2 years ago
- Program Synthesis☆144Updated 3 years ago
- ☆22Updated 2 weeks ago
- Patched version of HOL Light with tactic logging for machine learning purposes☆33Updated 4 years ago
- ☆14Updated last year
- deep learning for math☆29Updated 5 years ago
- ☆27Updated 3 years ago
- A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.☆179Updated this week
- A Learning Environment for Theorem Proving☆72Updated 2 years ago
- A community database of topological counterexamples☆72Updated this week
- ☆21Updated 11 months ago
- IMO Grand Challenge for Artificial Intelligence☆44Updated 2 years ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆17Updated 3 years ago
- ☆42Updated 7 years ago
- Modification to Coq to record intermediate proof states encountered during a proof☆7Updated 5 years ago
- ☆39Updated 2 months ago
- Karel dataset for program synthesis and program induction☆78Updated 6 years ago
- ☆40Updated 5 years ago
- Interactive neural theorem proving in Lean☆117Updated 2 years ago
- This is a hanabi AI bot that can play on http://keldon.net/hanabi/☆12Updated 7 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆32Updated last year
- Repository for the QED interactive text and possible extensions☆96Updated 5 years ago