BoxMan is a classic puzzle game, it is also called Sokoban.

Also,  those are on-the-fly levels, you may need login to get more boxman levels.