AlphaZero implemented for Hex
☆24Jun 26, 2018Updated 7 years ago
Alternatives and similar repositories for alphazero-hex
Users that are interested in alphazero-hex are comparing it to the libraries listed below
Sorting:
- Hex board game AI with self-play learning based on the AlphaZero algorithm☆36Dec 15, 2019Updated 6 years ago
- CMake managed Benzene vanilla for playing and solving the game of Hex, easier to install!☆45May 4, 2024Updated last year
- ☆13Apr 22, 2022Updated 3 years ago
- ☆15Apr 12, 2023Updated 2 years ago
- Learning from zero (mostly based off of AlphaZero) in General Game Playing.☆85Nov 21, 2022Updated 3 years ago
- gui for board game hex (and Y) by broderick arneson☆15Dec 13, 2023Updated 2 years ago
- A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions☆37Feb 11, 2026Updated 3 weeks ago
- Thompson Sampling based Monte Carlo Tree Search for MDPs and POMDPs☆15Jun 20, 2016Updated 9 years ago
- CFR implementation of a poker bot.☆12Feb 17, 2023Updated 3 years ago
- A collection of different PyTorch wrappers for training neural networks and reinforcement algorithms☆13Dec 15, 2022Updated 3 years ago
- Tutorial: Writing R and Python Packages with Multithreaded C++ Code using BLAS, AVX2/AVX512, OpenMP, C++11 Threads and Cuda GPU accelerat…☆13Nov 27, 2022Updated 3 years ago
- Michi-c --- Michi (Minimalistic Go MCTS Engine) recoded in C☆30May 29, 2017Updated 8 years ago
- ☆12Feb 18, 2024Updated 2 years ago
- A semidefinite programming solver for clustered low-rank SDPs☆14Feb 25, 2026Updated last week
- Some microbenchmarks and design docs before commencement☆12Feb 1, 2021Updated 5 years ago
- ☆10Oct 11, 2022Updated 3 years ago
- ☆11Sep 15, 2025Updated 5 months ago
- AI Tool to Recommend Market Trade Ideas for Intraday Scalpers☆19Sep 28, 2025Updated 5 months ago
- 🌿快速生成文件夹目录结构，支持定义目录层 级，支持生成到 markdown 文件。☆13Oct 19, 2022Updated 3 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- ☆11Oct 31, 2021Updated 4 years ago
- MZ2SYNTH - a software synthesizer modellled on Yevgeny Murzin's ANS synthesizer☆20Updated this week
- A QA system based on k8s-specific knowledge build on ChatGLM2-6B, serving by Ray.☆10Sep 14, 2023Updated 2 years ago
- Some examples with the neat-python module to assist the computer to play games!☆10Feb 7, 2021Updated 5 years ago
- 5x5x5 solver☆17Feb 21, 2023Updated 3 years ago
- 🚀全流程自己训练一个VLA 「大模型」1小时从0训练26M参数的视觉多模态VLM！🌏 Train a 26M-parameter VLM from scratch in just 1 hours!☆27Oct 16, 2025Updated 4 months ago
- This repository contains the lab material for the Reinforcement Learning F22 course prepared for Innopolis University Master's students.☆35Oct 24, 2022Updated 3 years ago
- Handcraft your development environment☆217Aug 2, 2014Updated 11 years ago
- A variation on Melinda Green's buddhabrot visualization technique.☆10Jan 16, 2019Updated 7 years ago
- math puzzles from various sources, formalized in Lean☆10Oct 21, 2023Updated 2 years ago
- Advanced_Data_Integration_Project☆11Jul 31, 2018Updated 7 years ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- Auto Encoder on Tensorflow☆12Oct 18, 2017Updated 8 years ago
- Streamlines the creation of dataset to train a Large Language Model with triplets : instruction-input-output . The default configuration …☆13Apr 17, 2023Updated 2 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- Synthesize datasets in Python.☆10Dec 28, 2019Updated 6 years ago
- Python Kalman filtering and optimal estimation library. Implements Kalman filter, particle filter, Extended Kalman filter, Unscented Kalm…☆24Dec 7, 2025Updated 2 months ago
- DREN Tensorflow rotate mnist☆11Mar 24, 2019Updated 6 years ago