Hades is proceduralish. More randomized stitching together of created rooms. Some of the ones you name are not exploration, at all, though. Balatro and spire are tough to call procedurally generated? Literally static encounters randomly chosen.
Fair, though, that there are some that are closer than a straight read of my post would imply. Minecraft would be a good counterpoint. Those tend to be sandbox style. And nothing wrong with that.
Fair, though, that there are some that are closer than a straight read of my post would imply. Minecraft would be a good counterpoint. Those tend to be sandbox style. And nothing wrong with that.