Our game AdvertCity has a detailed procedural city generator on top of a procedural landscape:
Gameplay involves pitting your wits against procedurally generated megacorporations, playing them off against each other by selling them advertising. All megacorporations and city buildings and cybersites have detailed procedurally generated descriptions.
One of our developers talks about the procedural city generation algorithm in this post on a thread in another forum:
https://facepunch.com/showthread.php?t=1379594&p=44356114&viewfull=1#post44356114
Itch.io game page:
http://voxelstorm.itch.io/advertcity