Nethack does procedural generation pretty well, and indeed roguelikes are a pretty good framework for it, because the game design tends to revolve around giving the player different options to solve a given problem and they're also not too afraid to have the difficulty vary a lot between runs.