WillFlame14 / hanabi-bot

Related projects ⓘ

Alternatives and complementary repositories for hanabi-bot

• hanabi / hanabi.github.io
  A list of Hanabi strategies
  ☆163Updated this week
• Hanabi-Live / hanabi-live
  A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.
  ☆179Updated this week
• PascalPons / connect4
  Connect 4 Solver
  ☆278Updated 3 years ago
• teorth / equational_theories
  A project to map out the relations between different equational theories of Magmas.
  ☆210Updated this week
• rjtobin / HanSim
  A simulator for strategies of a well-known cooperative card game.
  ☆15Updated 8 years ago
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆247Updated this week
• leanprover-community / NNG4
  Natural Number Game
  ☆112Updated last week
• obijywk / grilops
  a GRId LOgic Puzzle Solver library
  ☆69Updated 11 months ago
• dclamage / SudokuSolver
  ☆50Updated last month
• WuTheFWasThat / hanabi.rs
  State of the art Hanabi bots + simulation framework in rust
  ☆43Updated 11 months ago
• howard36 / probase
  An online math contest platform
  ☆17Updated this week
• teorth / pfr
  Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)
  ☆136Updated this week
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆16Updated 10 months ago
• michiguel / Ordo
  Rating for chess engines, players, or other games
  ☆66Updated last year
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆79Updated last year
• miguel-ambrona / D3-Chess
  Chess Unwinnability Analyzer is an implementation of a decision procedure for checking whether there exists a sequence of legal moves tha…
  ☆51Updated last week
• kevinychen / nikoli-puzzle-solver
  Solver for over 100 types of Nikoli-style logic puzzles
  ☆26Updated 10 months ago
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆241Updated 6 months ago
• dwrensha / compfiles
  Catalog Of Math Problems Formalized In Lean
  ☆111Updated 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.
  ☆292Updated 8 months ago
• EbTech / Elo-MMR
  Skill estimation systems for multiplayer competitions
  ☆175Updated 9 months ago
• leanprover / vscode-lean4
  Visual Studio Code extension for the Lean 4 proof assistant
  ☆169Updated this week
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆73Updated 11 months ago
• OxiDD / oxidd
  Concurrent decision diagram framework written in Rust
  ☆39Updated 3 weeks ago
• pysathq / pysat
  A toolkit for SAT-based prototyping in Python
  ☆391Updated 6 months ago
• jsilll / codfish
  UCI Compliant Chess Engine
  ☆14Updated last week
• leanprover-community / lean4game
  Server to host lean games.
  ☆190Updated this week
• kevinychen / snap2
  Advanced tooling for puzzle hunts: grid/crossword parser, crossword tool to fill in the grid when entering answers, heavy-duty pattern/an…
  ☆29Updated 6 months ago
• PatrickMassot / leanblueprint
  plasTeX plugin to build formalization blueprints.
  ☆168Updated 2 weeks ago