Massively parallel solver for the Sprouts game using the PNS-PDFPN algorithm.
-
Updated
Apr 1, 2026 - C++
#
combinatorial-games
Here are 7 public repositories matching this topic...
Shared-pool Mahjong: computational second-player win, two English papers and partial Lean certification. v1.0.0 closes the active research phase; future updates depend on new results or necessary corrections.
mahjong reproducible-research computational-mathematics cpp17 formal-verification retrograde-analysis combinatorial-games
-
Updated
Sep 14, 2026 - Lean
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.
math graph-algorithms graphs browser-game graph-theory game-theory combinatorics combinatorial-game-theory game-theory-algorithms math-games graph-theory-visualization hackenbush combinatorial-games
-
Updated
Feb 22, 2026 - TypeScript
Nim mit beweisbarer Gewinnformel und Tic-Tac-Toe vollstaendig geloest: Minimax, Alpha-Beta und ein Prueflauf, der die Theorie erschoepfend nachrechnet
nim tic-tac-toe game-theory minimax alpha-beta-pruning no-build combinatorial-games single-file-html self-verifying
-
Updated
Aug 27, 2026 - HTML
Reproducibility code, authorities, and atlas for Partizan fixed-value representation research
-
Updated
Aug 11, 2026 - Python
The square achievement game on the n x n grid, proved in Lean 4 for every board size that was open (6 to 14). No Mathlib.
-
Updated
Sep 30, 2026 - Lean
Combinatorial Games on Integer Partitions
-
Updated
Mar 11, 2026 - JavaScript
Add this topic to your repo
To associate your repository with the combinatorial-games topic, visit your repo's landing page and select "manage topics."