Alternatives and similar repositories for hanabi-bot

Users that are interested in hanabi-bot are comparing it to the libraries listed below

• hanabi / hanabi.github.io
  A list of Hanabi strategies
  ☆169Updated last week
• Hanabi-Live / hanabi-live
  A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.
  ☆188Updated 2 weeks ago
• howard36 / probase
  An online math contest platform
  ☆20Updated 2 months ago
• rjtobin / HanSim
  A simulator for strategies of a well-known cooperative card game.
  ☆15Updated 9 years ago
• farmersrice / saltzero
  Machine learning bot for ultimate tic-tac-toe based on DeepMind's AlphaGo Zero paper. C++ and Python.
  ☆26Updated 4 years ago
• obijywk / grilops
  a GRId LOgic Puzzle Solver library
  ☆75Updated last year
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆252Updated 2 months ago
• dclamage / SudokuSolver
  ☆60Updated 3 weeks ago
• ccz181078 / Coq-BB5
  ☆309Updated 2 months ago
• kevinsogo / compgen
  ☆8Updated last year
• PermutaTriangle / Permuta
  A native Python library for permutation pattern research
  ☆16Updated last week
• EbTech / Elo-MMR
  Skill estimation systems for multiplayer competitions
  ☆197Updated 3 months ago
• rspeer / solvertools
  Mystery Hunt solving tools for Metropolitan Rage Warehouse. Or anyone really.
  ☆36Updated 5 months ago
• PascalPons / connect4
  Connect 4 Solver
  ☆304Updated 4 years ago
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆487Updated this week
• PatrikBak / GeoGen
  Automated generation of planar geometry olympiad problems
  ☆91Updated last year
• DrKenReid / FactorioBeltProblemGECCO
  A Factorio interface for optimizing belt layouts, offering installation instructions for Docker and Factorio, along with guidance on runn…
  ☆29Updated 4 years ago
• IvarK / AntimatterDimensionsSourceCode
  ☆228Updated last month
• cardinalitypuzzles / cardboard
  Dashboard for managing puzzles and tracking status during a puzzle hunt
  ☆33Updated last month
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆296Updated last year
• leanprover-community / aesop
  White-box automation for Lean 4
  ☆275Updated last week
• MiniZinc / mzn-challenge
  An archive repository containing the MiniZinc instances used for the MiniZinc Challenge
  ☆13Updated 7 months ago
• teorth / expdb
  Exponent pair database
  ☆57Updated last week
• ekzhang / setwithfriends
  🎮 A frictionless multiplayer web app that lets you play Set with friends
  ☆586Updated 4 months ago
• ViliamVadocz / tak
  An implementation of AlphaZero for the board game Tak
  ☆12Updated 2 years ago
• leanprover-community / NNG4
  Natural Number Game
  ☆182Updated 3 months ago
• vEnhance / otis-web
  OTIS course management system
  ☆40Updated last week
• galacticpuzzlehunt / gph-site
  Django app for running a puzzlehunt (open-source version)
  ☆75Updated 9 months ago
• edfan / firehose
  A class-picking website for MIT students.
  ☆35Updated 5 months ago
• TimonKnigge / TCR
  Team Code Reference for programming contests
  ☆25Updated last year