Hackernews posts about Sokoban

1. Coqoban: Sokoban (In Coq) (github.com)
   2 points by todsacerdoti 10 days ago | discuss
2. Cirkoban: Sokoban meets cellular automata written in Scheme (spritely.institute)
   114 points by davexunit 11 months ago | 21 comments
3. Sokoban (en.wikipedia.org)
   20 points by tosh 8 months ago | 10 comments
4. Lessons from implementing Sokoban for the Intel 8080 (franklin.dyer.me)
   19 points by franklin_p_dyer 7 months ago | 1 comments
5. Show HN: Stig – a sokoban-style puzzle game (lageb.itch.io)
   4 points by mirrish about 1 year ago | 4 comments
6. Play Sokoban in PostScript (github.com)
   2 points by beefburger 3 months ago | 1 comments
7. Show HN: CSS-only puzzles: Nethack Sokoban on AO3 (archiveofourown.org)
   2 points by apsillers about 1 year ago | 1 comments
8. Sok Format (www.sokobano.de)
   2 points by tosh about 1 month ago | discuss
9. Soroban (en.wikipedia.org)
   2 points by ustad about 1 year ago | discuss