cgao3 / benzene-vanilla-cmakeLinks
CMake managed Benzene vanilla for playing and solving the game of Hex, easier to install!
☆44Updated last year
Alternatives and similar repositories for benzene-vanilla-cmake
Users that are interested in benzene-vanilla-cmake are comparing it to the libraries listed below
Sorting:
- gui for board game hex (and Y) by broderick arneson☆15Updated 2 years ago
- AlphaZero implemented for Hex☆24Updated 7 years ago
- Learning from zero (mostly based off of AlphaZero) in General Game Playing.☆85Updated 3 years ago
- Sandbox for playing with neural nets for Go☆76Updated 6 years ago
- Using web browser connect leela zero to analyze game go anywhere☆22Updated 3 years ago
- Graphical user interface for the game of Go, and other similar board games☆92Updated last month
- Auto math prover.☆11Updated last year
- Switch to new repo https://github.com/hzyhhzy/KataGomo☆199Updated last week
- NeqLIPS: a powerful Olympiad-level inequality prover☆39Updated 4 months ago
- Python library for Smart Game Format (SGF) files☆73Updated 2 years ago
- Minimalistic Go MCTS Engine☆277Updated 7 years ago
- different AI algorithms to solve board games☆18Updated 7 years ago
- datasets for computer go☆161Updated 2 months ago
- AlphaZero implementation for Othello, Connect-Four and Tic-Tac-Toe based on "Mastering the game of Go without human knowledge" and "Maste…☆93Updated 7 years ago
- 21.1 million Go games, 18k-9p☆139Updated 6 years ago
- Connect4 reinforcement learning by AlphaGo Zero methods.☆113Updated 4 years ago
- An environment of the board game Go using OpenAI's Gym API☆177Updated 3 years ago
- Auto hybrid and test Leela Zero weights☆16Updated 7 years ago
- Python tools for the game of Go (GTP and SGF)☆77Updated 6 years ago
- GTP Wrapper to allow bots to interface with the Online-Go.com Server☆96Updated last month
- ☆47Updated 3 months ago
- Hex board game AI with self-play learning based on the AlphaZero algorithm☆36Updated 6 years ago
- Michi-c --- Michi (Minimalistic Go MCTS Engine) recoded in C☆30Updated 8 years ago
- Homepage of the Lean-zh website.☆51Updated 3 months ago
- ☆24Updated 5 months ago
- Interactive neural theorem proving in Lean☆131Updated 3 years ago
- Catalog Of Math Problems Formalized In Lean☆220Updated last week
- A collection of editorials for problems solved by me.☆23Updated 5 years ago
- Michi-c2 --- development version for michi-c☆26Updated 4 years ago
- The Ludii general game system, developed as part of the ERC-funded Digital Ludeme Project.☆137Updated last month