cayleypy / cayleypy Star 482 Code Issues Pull requests Library for studying Cayley graphs and Schreier coset graphs puzzle graphs mathematics torch permutations puzzle-solver cayley-graphs puzzle-solvers cayley-graph Updated Sep 26, 2026 Python
didvc / prolog-logic-puzzle-solver Star 1 Code Issues Pull requests Discussions Interactive logic puzzle solver using Prolog and WebAssembly with step-by-step reasoning visualization react education typescript prolog webassembly constraint-satisfaction puzzle-solver logic-puzzles tau-prolog constraint-optimisation-problem constraint-logic-programming puzzle-solving logical-thinking puzzle-solvers Updated Aug 2, 2025 TypeScript
oss-awesome / puzzle-games Star 1 Code Issues Pull requests Awesome list of 2,200+ small OSS puzzle games/tooling on GitHub awesome-list puzzlers game-collection brain-games awesome-github puzzlescript 3d-puzzle-game twisty-puzzles logic-puzzles indie-games game-resources open-source-games math-puzzle logical-thinking puzzle-solvers puzzle-games logic-games web-game-dev casual-games awesome-games Updated Jul 27, 2026
beling / puzzles Star 1 Code Issues Pull requests Rust software for solving combination puzzles. rust puzzle solver puzzle-game rust-lang sliding-puzzle-game puzzles solvers puzzle-solver 15puzzle 15-puzzle puzzle-solution 15-puzzle-solver 15-puzzle-game puzzle-solvers Updated Sep 24, 2024 Rust
chands10 / PuzzleSolver Star 0 Code Issues Pull requests Program-based approaches to solving some of the Jane Street puzzles found at https://www.janestreet.com/puzzles/archive/ probability dynamic-programming divide-and-conquer variable-elimination constraint-based puzzle-solvers Updated Aug 7, 2025 Python