harbecke / HexHexLinks
AlphaGo Zero adaptation for Hex
☆29Updated this week
Alternatives and similar repositories for HexHex
Users that are interested in HexHex are comparing it to the libraries listed below
Sorting:
- CMake managed Benzene vanilla for playing and solving the game of Hex, easier to install!☆44Updated last year
- The Ludii general game system, developed as part of the ERC-funded Digital Ludeme Project.☆139Updated 3 weeks ago
- Hex board game AI with self-play learning based on the AlphaZero algorithm☆36Updated 6 years ago
- A learning environment for man-made Interactive Fiction games.☆315Updated 2 months ago
- Code for DeepCubeA, a Deep Reinforcement Learning algorithm that can learn to solve the Rubik's cube.☆203Updated last year
- fault-tolerant Python3 package for searching, navigating, and modifying LaTeX documents☆323Updated 11 months ago
- The Incredible Proof Machine☆386Updated last month
- A Learning Environment for Theorem Proving with the Coq proof assistant☆414Updated 2 years ago
- AlphaZero implemented for Hex☆24Updated 7 years ago
- Repository for the QED interactive text and possible extensions☆117Updated last year
- A minimal implementation of autograd (in pure Python) 🍰☆96Updated 4 years ago
- Metagol - an inductive logic programming system☆207Updated 4 years ago
- Source code of the MaastCTS2 agent for General Video Game playing. Champion of the 2016 GVG-AI Single-Player Track, and runner-up of the …☆14Updated 4 years ago
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆393Updated 4 months ago
- Bridging deep learning and logical reasoning using a differentiable satisfiability solver.☆426Updated 3 years ago
- Formal to Formal Mathematics Benchmark☆413Updated 2 years ago
- A LaTeX Typesetting Game☆261Updated 10 months ago
- ☆381Updated 4 years ago
- ☆82Updated 4 years ago
- AlphaZero-like AI solution for playing Ultimate Tic-Tac-Toe in the browser☆78Updated 3 years ago
- ☆25Updated 4 years ago
- EGG: Emergence of lanGuage in Games☆317Updated 9 months ago
- Code accompanying the manuscript "Constructions in combinatorics via neural networks and LP solvers".☆57Updated 4 years ago
- A simulator for strategies of a well-known cooperative card game.☆15Updated 9 years ago
- ☆347Updated 7 years ago
- Reconquer the canvas: beautiful Tikz figures without clunky Tikz code☆418Updated 5 years ago
- Deep learning via category theory and functional programming☆150Updated 5 years ago
- ☆63Updated 3 weeks ago
- TD-Gammon implementation☆50Updated 2 years ago
- Generator of Rad Names from Decent Paper Acronyms☆284Updated 4 years ago