Baba is You is literally a sokoban for software engineers, highly recommended. It's quite difficult though.