The lecture notes for my discrete mathematics classes.
Combinatorial Game Theory toolkit
Ludology is a Python package for combinatorial game theory.
Rust software for solving impartial games.
A Deep Reinforcement Learning environment using generalized tic-tac-toe.
Solve any sequential game.
basic nim simulator for all you Sprague-Grundy stans. will mostly always win against you, unless you know how to draw.
A Julia toolkit for finite Hackenbush positions: build coloured-edge graphs, explore legal moves and evaluate supported stalk and green-graph positions using dyadic values and Grundy numbers.
Standalone C++23 solver and interactive CLI for undirected vertex geography using exact matching-based evaluation.
A coding project for Math 480 Combinatorial Game Theory (Spring 2024) exploring the relationship between AI and combinatorial game theory. Specifically, I will study the game Toads and Frogs by implementing a DQN reinforcement learning algorithm from scratch.
A machine learning environment and interactive simulator for infinite grid parity jump puzzles (e.g., Conway's Soldiers, Peg Solitaire) based on point reflection symmetry.
A Hackenbush Web Game. Play against the computer or with a friend. Choose between the Normal or Misère version. Design your own games and play them.
Proof-carrying neural search and exact verification for finite combinatorial-game composition
Solved games with their result, method and primary source, and the open problems one step past them. CC0 data.
Formalization of Misère Combinatorial Game Theory
Interactive pixel-art profile: play Nim against a perfect bot by opening an issue.
Exact solver for Connect 4 and tic-tac-toe: memoised negamax in AssemblyScript/WASM across a Web Worker pool, every move labelled win/draw/loss
Experimental laboratory (combinatorial games, motives, transcendence theory), importing BoringMath; same boring style.
Antichess on the xiangqi board, measured before it was designed: the rules, every engine game, every proof certificate, and a checker that replays them. It is a draw.
To associate your repository with the combinatorial-game-theory topic, visit your repo's landing page and select "manage topics."