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
  ☆30Updated 6 years ago
• Ludeme / LudiiAI
  Repo with code for Ludii's built-in AIs.
  ☆22Updated 2 years ago
• Uriopass / LCPlay
  Web interface to play against LC0 (Leela Chess Zero)
  ☆16Updated 6 years ago
• barakeel / oeis-synthesis
  ☆23Updated this week
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆53Updated 3 months ago
• Ludeme / LudiiPythonAI
  Example repo for running Python-based AIs in Ludii
  ☆12Updated 3 years ago
• JUrban / MPTP2
  ☆19Updated 8 years ago
• celinehocquette / numsynth-aaai23
  C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.
  ☆15Updated 2 years ago
• rocq-community / goedel
  Archived since the contents have been moved to the Hydras & Co. repository
  ☆30Updated 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
• petersn / duckchess
  An engine + analysis interface for duck chess
  ☆20Updated last year
• Anon52MI4 / oeis-alien
  ☆19Updated 2 years ago
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆75Updated 3 years ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆69Updated 2 years ago
• m4lvin / tablean
  Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.
  ☆13Updated last year
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆23Updated last year
• acharal / wam
  A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
  ☆20Updated 5 years ago
• eprover / eprover
  ☆142Updated 2 weeks ago
• potassco / plasp
  🗺️ ASP planning tools for PDDL
  ☆29Updated 3 years ago
• dpiponi / provability
  Some tools for provability logic
  ☆37Updated 7 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 11 months ago
• nick8325 / equinox
  Paradox model finder and equinox theorem prover for first-order logic.
  ☆20Updated last year
• JoseCSantos / GILPS
  General Inductive Logic Programming System
  ☆17Updated 2 years ago
• kz04px / libataxx
  A C++ Ataxx library to handle move generation, move validation, and other aspects of the board game Ataxx
  ☆10Updated last year
• celinehocquette / magicpopper
  C. Hocquette and A. Cropper, Learning programs with magic values.
  ☆18Updated 2 years ago
• bsubercaseaux / EmptyHexagonLean
  Code related to the Lean verification of the empty hexagon theorem
  ☆12Updated 9 months ago
• leanprover / theorem_proving_in_lean
  Theorem proving in Lean
  ☆49Updated 8 months ago
• jrclogic / SMCDEL
  A symbolic model checker for Dynamic Epistemic Logic.
  ☆46Updated 4 months ago
• aprolog-lang / aprolog
  αProlog
  ☆18Updated last year
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆60Updated 7 months ago