Alternatives and similar repositories for hanabi-live

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

• hanabi / hanabi.github.io
  A list of Hanabi strategies
  ☆169Updated last week
• rjtobin / HanSim
  A simulator for strategies of a well-known cooperative card game.
  ☆15Updated 9 years ago
• bstnfrmry / hanabi
  Play Hanabi online with friends!
  ☆101Updated last month
• will-hanabi-bot / hanabi-bot
  A bot that plays on the hanab.live interface.
  ☆18Updated last week
• Ludeme / Ludii
  The Ludii general game system, developed as part of the ERC-funded Digital Ludeme Project.
  ☆124Updated 2 weeks ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆252Updated 2 months ago
• 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
• ekzhang / setwithfriends
  🎮 A frictionless multiplayer web app that lets you play Set with friends
  ☆586Updated 4 months ago
• techmatt / Provincial
  A kingdom-adaptive AI for Dominion
  ☆46Updated 11 years ago
• ncase / sim
  Relaunch of EMOJI SIMULATOR 😘
  ☆90Updated 4 years ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated last year
• PleasingFungus / Manufactoria
  ☆14Updated 6 years ago
• ccz181078 / Coq-BB5
  ☆309Updated 2 months ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆102Updated 5 months ago
• kirel / detexify-data
  Instructions and license for Detexify's sample data
  ☆283Updated 3 years ago
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆16Updated 3 months ago
• adrianocola / spyfall
  Simple website implementation of the card game Spyfall
  ☆233Updated last month
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆487Updated this week
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆82Updated 2 years ago
• danyq / tools.qhex.org
  puzzle solving tools for the mit mystery hunt
  ☆18Updated 9 years ago
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆909Updated 8 years ago
• cardinalitypuzzles / cardboard
  Dashboard for managing puzzles and tracking status during a puzzle hunt
  ☆33Updated last month
• formalabstracts / formalabstracts
  ☆164Updated 5 years ago
• leanprover-community / lean4game
  Server to host lean games.
  ☆278Updated this week
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆456Updated last week
• galacticpuzzlehunt / puzzlord
  Django app for editing and testing puzzlehunt puzzles (open-source version)
  ☆29Updated 2 years ago
• obijywk / grilops
  a GRId LOgic Puzzle Solver library
  ☆75Updated last year
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆156Updated last year
• PuzzleTechHub / nutrimatic
  The source behind nutrimatic.org.
  ☆84Updated last week
• jbowens / horsepaste
  Play horse paste online
  ☆646Updated last week