Engine & training
KataGo / KataGomo
Self-play training and analysis for Go, Gomoku, Renju, Hex, Connect6, and many more board games.
Board-game AI
Web projects
| Project & description | Links |
|---|---|
| Googology Scale An interactive browser for large-number and ordinal notations. |
|
| Elytra Strategy Lab Minecraft elytra flight simulation, route optimization, visual analysis, and mod tools. |
|
| Deductrium · planar version A planar map and performance improvements for the mathematics and logic game. |
|
| Regular-star sweeps Interactive paths and swept regions for three- to six-ray stars. |
Miscellaneous
column-ordinal-notations-hzy
Definitions, expanders, and well-ordering proofs for the RPD, LRD, Ω-LRD3, and ARD ordinal notations.
compute-limited-mnist-fashion
Inference compute and accuracy of linear models, MLPs, and small CNNs on MNIST and Fashion-MNIST.
Ballex1-ModLoader
A BepInEx 5 mod loader for Ballex, with flight, counters, physics, and shape tools.
infinite-tetration-factor-search
A resumable CUDA search for prime divisors of 2↑↑∞ + 3, with exact verification.
tromp-taylor-2x2x2
An exact 2×2×2 Tromp–Taylor Go solver: Black wins by 1 without komi; 1-point komi is a draw.
gpu-power-prime-factor
Specialized CUDA prime-factor searches for power towers and iterated sequences, with exact CPU checks.
QLizzie
A Qt 6 board-game analysis interface for KataGo / KataGomo engines.
Regular-star sweeps
Interactive paths and swept regions for three- to six-ray stars.
Deductrium · planar version
A planar map and performance improvements for the mathematics and logic game.
UmaAi
An Umamusume scenario simulator.
Elytra Strategy Lab
Minecraft elytra flight simulation, route optimization, visual analysis, and mod tools.
minecraft-auto-tas
Physics-accurate Minecraft input search, route optimization, macro generation, and client validation.
codex-minecraft-seed-methodology
A Codex-oriented methodology and worked examples for Minecraft Java seed filtering.
godot-ballance
An extensible recreation of Ballance built with Godot.
BallanceContactStabilizer
A Ballance contact-order stabilizer for deterministic TAS playback.
AutoDenxiMachine
Codex-assisted analysis of googology and ordinal notations.
AutoGuogaoMachine
A C++ toolkit for googology notation experiments.
Googology Scale
An interactive browser for large-number and ordinal notations.
hex_langton_ant
Langton's ant on a hexagonal grid.
tiaoqimeiju
An exhaustive shortest-solution search for peg solitaire.
ShiBuWanDu
An exhaustive solver for the Ten Moves, Ten Thousand Degrees puzzle.
huarongdao
An exhaustive solver for the Huarong Dao sliding-block puzzle.
Blog
Training AI for a board game you invented
Rules, builds, self-play configuration, model size, evaluation, and release.
Integrating a new ruleset into KataGomo
Board state, legal actions, terminal conditions, history, network inputs, and compound moves.
Engineering lessons from strong board-game AI
Practical notes on AlphaZero, NNUE, KataGo, search efficiency, and training scale.