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
• Ludeme / LudiiAI
  Repo with code for Ludii's built-in AIs.
  ☆21Updated 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
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆34Updated last year
• gbtami / fairyfishnet
  Fork of https://github.com/niklasf/fishnet Supports variants playble on https://www.pychess.org
  ☆11Updated 3 months ago
• leoprover / Leo-III
  An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics
  ☆45Updated this week
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆67Updated 2 years ago
• saikrishna-1996 / deep_pepper_chess
  different AI algorithms to solve board games
  ☆18Updated 6 years ago
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆44Updated last year
• potassco / plasp
  🗺️ ASP planning tools for PDDL
  ☆28Updated 3 years ago
• MarkusRabe / cadet
  A fast and certifying solver for quantified Boolean formulas.
  ☆26Updated 9 months ago
• zamar / spsa
  SPSA Tuner for Stockfish Chess Engine
  ☆20Updated 7 years ago
• MarkZH / Genetic_Chess
  An amateur attempt at breeding a chess-playing AI.
  ☆10Updated 2 months ago
• herohde / morlock
  Morlock chess engine
  ☆15Updated last year
• acharal / wam
  A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
  ☆19Updated 4 years ago
• sysulic / MEPK
  A General Multi-agent Epistemic Planner Based on Higher-order Belief Change
  ☆10Updated this week
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆37Updated 10 months ago
• Uriopass / LCPlay
  Web interface to play against LC0 (Leela Chess Zero)
  ☆16Updated 6 years ago
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆60Updated 3 months ago
• Ludeme / LudiiPythonAI
  Example repo for running Python-based AIs in Ludii
  ☆10Updated 2 years ago
• nguyenpham / FelicityEgtb
  Felicity Xiangqi (Chinese chess) endgame tablebase
  ☆11Updated 4 months ago
• QueensGambit / CrazyAra-Engine
  CrazyAra - A Deep Learning UCI-Chess Variant Engine written in C++
  ☆12Updated 5 years ago
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆7Updated 5 years ago
• zxqfl / sashimi
  MCTS-based chess engine
  ☆40Updated 6 years ago
• ianfab / Giraffe
  experimental chess engine based on temporal-difference reinforcement learning
  ☆27Updated 8 years ago
• Ludeme / Ludii
  The Ludii general game system, developed as part of the ERC-funded Digital Ludeme Project.
  ☆111Updated this week
• coq-community / goedel
  Archived since the contents have been moved to the Hydras & Co. repository
  ☆29Updated 2 years ago
• ianfab / chess-variant-puzzler
  Puzzle generator for chess variants
  ☆16Updated 9 months ago
• brain-research / hol-light
  Patched version of HOL Light with tactic logging for machine learning purposes
  ☆34Updated 5 years ago