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
  ☆172Updated last week
• bstnfrmry / hanabi
  Play Hanabi online with friends!
  ☆102Updated 4 months ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆256Updated 5 months ago
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆914Updated 8 years ago
• cardinalitypuzzles / cardboard
  Dashboard for managing puzzles and tracking status during a puzzle hunt
  ☆32Updated 4 months ago
• ekzhang / setwithfriends
  🎮 A frictionless multiplayer web app that lets you play Set with friends
  ☆595Updated 6 months ago
• rjtobin / HanSim
  A simulator for strategies of a well-known cooperative card game.
  ☆15Updated 9 years ago
• obijywk / grilops
  a GRId LOgic Puzzle Solver library
  ☆77Updated 2 weeks ago
• WuTheFWasThat / hanabi.rs
  State of the art Hanabi bots + simulation framework in rust
  ☆45Updated last year
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆681Updated this week
• ImperialCollegeLondon / natural_number_game
  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
  ☆299Updated last year
• kirel / detexify-data
  Instructions and license for Detexify's sample data
  ☆285Updated 4 years ago
• leanprover-community / NNG4
  Natural Number Game
  ☆218Updated 3 weeks ago
• t-dillon / tdoku
  A fast Sudoku solver and generator with a benchmark suite for comparing the fastest known solvers.
  ☆231Updated last year
• leanprover-community / lean4game
  Server to host lean games.
  ☆319Updated this week
• kirel / detexify
  Latex Symbol Classifier Web Frontend
  ☆833Updated 2 years ago
• howard36 / probase
  An online math contest platform
  ☆21Updated 5 months ago
• jrh13 / hol-light
  The HOL Light theorem prover
  ☆473Updated 2 months ago
• teorth / equational_theories
  A project to map out the relations between different equational theories of Magmas.
  ☆421Updated this week
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆433Updated last year
• superpermutators / superperm
  ☆126Updated 2 years ago
• adamyedidia / parsimony
  ☆343Updated 7 years ago
• ImperialCollegeLondon / formalising-mathematics-2022
  Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…
  ☆120Updated last year
• hrmacbeth / math2001
  Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
  ☆299Updated 9 months ago
• Paper-Proof / paperproof
  Lean theorem proving interface which feels like pen-and-paper proofs.
  ☆454Updated 2 months ago
• ccz181078 / Coq-BB5
  ☆337Updated this week
• edemaine / cocreate
  Cocreate Shared Whiteboard/Drawing
  ☆217Updated 3 months ago
• swaroopg92 / penpa-edit
  Web application to create and solve Sudokus and Puzzles
  ☆128Updated 3 months ago
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆104Updated 7 months ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆294Updated this week