A recent example is Megabonk, a rouge-like with procedural levels. Each run is unique but the levels have a consistent theme.