Alternatives and similar repositories for Hanabi-AI:

Users that are interested in Hanabi-AI are comparing it to the libraries listed below

• JUrban / deepmath
  deep learning for math
  ☆29Updated 5 years ago
• zamar / spsa
  SPSA Tuner for Stockfish Chess Engine
  ☆19Updated 7 years ago
• Ludeme / LudiiAI
  Repo with code for Ludii's built-in AIs.
  ☆21Updated last year
• MarkusRabe / cadet
  A fast and certifying solver for quantified Boolean formulas.
  ☆26Updated 8 months ago
• QueensGambit / CrazyAra-Engine
  CrazyAra - A Deep Learning UCI-Chess Variant Engine written in C++
  ☆12Updated 5 years ago
• gbtami / fairyfishnet
  Fork of https://github.com/niklasf/fishnet Supports variants playble on https://www.pychess.org
  ☆10Updated last month
• Uriopass / LCPlay
  Web interface to play against LC0 (Leela Chess Zero)
  ☆16Updated 5 years ago
• rhalbersma / dctl
  Draughts and checkers template library
  ☆10Updated 7 months ago
• MarkZH / Genetic_Chess
  An amateur attempt at breeding a chess-playing AI.
  ☆10Updated last month
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆43Updated 3 months ago
• Ludeme / LudiiPythonAI
  Example repo for running Python-based AIs in Ludii
  ☆10Updated 2 years ago
• hexhex / hexlite
  Python-based HEX implementation for a fragment of the HEX language and a subset of features.
  ☆14Updated 3 years ago
• acharal / wam
  A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
  ☆19Updated 4 years ago
• ai4reason / Prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆42Updated 11 months ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆41Updated 5 months ago
• gsychi / 64CrazyhouseDeepLearning
  A deep learning Crazyhouse chess program that uses a Monte Carlo Tree Search (MCTS) based evaluation system and reinforcement to enhance …
  ☆18Updated 5 years ago
• brain-research / hol-light
  Patched version of HOL Light with tactic logging for machine learning purposes
  ☆34Updated 4 years ago
• nionita / Barbarossa
  Chess engine entirely written in Haskell
  ☆49Updated 2 months ago
• Assios / Bottios
  A chess bot playing on lichess.org
  ☆19Updated 2 years ago
• andrewcropper / iggp
  A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.
  ☆12Updated last year
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆34Updated last year
• guyu96 / kifutalk
  A web app for sharing, editing, and commenting on kifus (game records for the board game Go)
  ☆9Updated 5 years ago
• kz04px / libataxx
  A C++ Ataxx library to handle move generation, move validation, and other aspects of the board game Ataxx
  ☆10Updated 9 months ago
• herohde / morlock
  Morlock chess engine
  ☆14Updated last year
• lukasmonk / irina
  Basic chess engine to server interests of Lucas Chess
  ☆10Updated 4 months ago
• ai4reason / ATP_Proofs
  Interesting ATP Proofs
  ☆13Updated 3 years ago
• dselsam / neurocore-public
  NeuroCore: Guiding CDCL with Unsat-Core Predictions
  ☆44Updated 4 years ago
• petersn / duckchess
  An engine + analysis interface for duck chess
  ☆18Updated 7 months ago