Alternatives and similar repositories for alphazero-hex

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

• richemslie / galvanise_zero
  Learning from zero (mostly based off of AlphaZero) in General Game Playing.
  ☆83Updated 2 years ago
• NTT123 / a0-jax
  AlphaZero in JAX
  ☆78Updated last year
• cgao3 / benzene-vanilla-cmake
  CMake managed Benzene vanilla for playing and solving the game of Hex, easier to install!
  ☆43Updated last year
• kenjyoung / mctx_learning_demo
  ☆52Updated 2 years ago
• dkappe / leela_lite
  A toolkit for experimenting with UCT and Leela Chess nets in Python.
  ☆16Updated last year
• maciej-sypetkowski / autoascend
  The first place solution for the NeurIPS 2021 Nethack Challenge -- https://www.aicrowd.com/challenges/neurips-2021-the-nethack-challenge
  ☆59Updated 2 years ago
• dkappe / a0lite
  A neural net chess engine in 95 lines of python
  ☆75Updated 4 years ago
• cgreer / alpha-zero-boosted
  A "build to learn" Alpha Zero implementation using Gradient Boosted Decision Trees (LightGBM)
  ☆86Updated 4 months ago
• jesse-michael-han / lean-gptf
  Interactive neural theorem proving in Lean
  ☆123Updated 3 years ago
• ryanbhayward / hexgui
  gui for board game hex (and Y) by broderick arneson
  ☆14Updated last year
• openai / lean-gym
  ☆190Updated 2 years ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆71Updated 11 months ago
• zawagner22 / cross-entropy-for-combinatorics
  Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".
  ☆55Updated 3 years ago
• lightvector / GoNN
  Sandbox for playing with neural nets for Go
  ☆76Updated 6 years ago
• jesse-michael-han / lean-step-public
  Proof artifact co-training for Lean
  ☆45Updated 2 years ago
• zhangir-azerbayev / mathlib-semantic-search
  ☆14Updated 2 years ago
• AlignmentResearch / go_attack
  ☆86Updated 6 months ago
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆80Updated this week
• kitft / funsearch
  Genetic programming using LLMs
  ☆35Updated 4 months ago
• Ludeme / Ludii
  The Ludii general game system, developed as part of the ERC-funded Digital Ludeme Project.
  ☆127Updated this week
• AdaptiveSubgoalSearch / adaptive_subs
  Adaptive Subgoal Search
  ☆19Updated 2 years ago
• rahul3613 / ProofNet-lean4
  ProofNet dataset ported into Lean 4
  ☆22Updated last month
• ssokota / mmd
  Code for magnetic mirror descent.
  ☆16Updated last year
• fabricerosay / AlphaGPU
  Alphazero on GPU thanks to CUDA.jl
  ☆32Updated 3 years ago
• jesse-michael-han / lean-tpe-public
  The Lean Theorem Proving Environment
  ☆14Updated 2 years ago
• ztangent / Plinf.jl
  Planning, inverse planning, and inference in planning, using PDDL and Gen.
  ☆39Updated last year
• zhangir-azerbayev / ProofNet
  Benchmark for undergraduate-level formal mathematics
  ☆108Updated 9 months ago
• zhangir-azerbayev / repl
  A simple REPL for Lean 4, returning information about errors and sorries.
  ☆11Updated 2 years ago
• JuliaPlanners / PDDL.jl
  Julia parser, interpreter and compiler interface for the Planning Domain Definition Language (PDDL). Planners not included.
  ☆85Updated 10 months ago
• JuliaPOMDP / MCTS.jl
  Monte Carlo Tree Search for Markov decision processes using the POMDPs.jl framework
  ☆79Updated 5 months ago