Sokoban puzzle games with a hub world and levels. Both games involve programming concepts: Baba Is You allows you to change the properties of objects in the level, and Patrick's Parabox has recursive levels.