shlomif/autoban
An automated solver for sokoban puzzles to better understand informed search methods.
Public GitHub Catalog
Discovered Sep 25, 2026
shlomif / binary-puzzle-garden
Various programs to manipulate the so-called "Binary Puzzle"s which are featured on http://www.binarypuzzle.com/
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#5289884GitHub System ID
shlomifOrganization / User
PublicVisibility
ActiveCatalog Status
More from shlomif
shlomif/Klondike-Solver
Klondike (Patience) Solitaire Solver that finds minimal length solutions.
shlomif/PostScript-gradients-tests
PostScript gradients tests
shlomif/shlomif-prolog-learning
Programs that Shlomi Fish used to try to learn Prolog