Sokoban++ - A free Sokoban player with 50 built in levels.
Sokoban YASC - A modern free Sokoban player
YSokoban - A classic but still maintained Sokoban player
Simple Sokoban - Simple Sokoban is a (simple) Sokoban game aimed at playability and portability across systems.
4f02 - An adaptation of the well-known "Sokoban" game
Sokoban 3D - It's Classic Sokoban, but in 3D!