The ultimate "top math game" on GitHub is the one you create yourself. The platform provides the perfect sandbox for this:
As WebAssembly (Wasm) and WebGL improve, expect to see 3D math exploration games hosted on GitHub.io. Developers are currently working on "Math Roguelikes"—dungeon crawlers where you solve geometry proofs to open doors. math games github io top
Typical Game Types