Alternatives and similar repositories for alphazero-hex

Users that are interested in alphazero-hex are comparing it to the libraries listed below

• saikrishna-1996 / deep_pepper_chess
  different AI algorithms to solve board games
  ☆18Updated 6 years ago
• dkappe / leela_lite
  A toolkit for experimenting with UCT and Leela Chess nets in Python.
  ☆16Updated last year
• cgreer / alpha-zero-boosted
  A "build to learn" Alpha Zero implementation using Gradient Boosted Decision Trees (LightGBM)
  ☆86Updated 4 months ago
• cgao3 / benzene-vanilla-cmake
  CMake managed Benzene vanilla for playing and solving the game of Hex, easier to install!
  ☆44Updated last year
• richemslie / galvanise_zero
  Learning from zero (mostly based off of AlphaZero) in General Game Playing.
  ☆83Updated 2 years ago
• Ludeme / Ludii
  The Ludii general game system, developed as part of the ERC-funded Digital Ludeme Project.
  ☆129Updated this week
• jseppanen / azalea
  Hex board game AI with self-play learning based on the AlphaZero algorithm
  ☆35Updated 5 years ago
• AdaptiveSubgoalSearch / adaptive_subs
  Adaptive Subgoal Search
  ☆19Updated 2 years ago
• NTT123 / a0-jax
  AlphaZero in JAX
  ☆78Updated last year
• Cyanogenoid / lczero-training
  For code etc relating to the network training process.
  ☆9Updated 4 years ago
• dkappe / a0lite
  A neural net chess engine in 95 lines of python
  ☆75Updated 4 years ago
• ryanbhayward / hexgui
  gui for board game hex (and Y) by broderick arneson
  ☆15Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 2 months ago
• lightvector / GoNN
  Sandbox for playing with neural nets for Go
  ☆76Updated 6 years ago
• teorth / symmetric_project
  ☆92Updated last year
• jesse-michael-han / lean-gptf
  Interactive neural theorem proving in Lean
  ☆123Updated 3 years ago
• ddugovic / BayesianElo
  Bayesian Elo Rating estimator
  ☆15Updated 10 years ago
• kitft / funsearch
  Genetic programming using LLMs
  ☆40Updated 5 months ago
• jesse-michael-han / lean-step-public
  Proof artifact co-training for Lean
  ☆45Updated 2 years ago
• db3108 / michi-c2
  Michi-c2 --- development version for michi-c
  ☆26Updated 3 years ago
• jasonrute / thoughts-on-ai-for-theorem-proving
  ☆27Updated 3 years ago
• dshawul / nn-train
  Neural network training
  ☆9Updated 2 years ago
• asdfjkl / nnue
  ☆45Updated 4 years ago
• danbriggs / Turing
  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
  ☆20Updated 3 years ago
• glacode / yamma
  VSCode extension for Metamath
  ☆11Updated last month
• Ludeme / LudiiAI
  Repo with code for Ludii's built-in AIs.
  ☆23Updated 2 years ago
• killerducky / lc0
  leelafish is a branch of lc0 that allows an auxillary engine (SF) to give leela advice.
  ☆16Updated 5 years ago
• SorryDB / SorryDB
  SorryDB indexes sorries in public lean repositories
  ☆28Updated this week
• augustepoiroux / LeanInteract
  LeanInteract: A Python Interface for Lean 4
  ☆46Updated 2 weeks ago
• yenw / LeelaZero_PhoenixGo
  LeelaZero + PhoenixGo's weights
  ☆19Updated 6 years ago