Unexplored comes to my mind, it differs from other games with procedural generation in that it generates a graph for the gameplay first and builds the levels around it. It's not necessarily ground breaking, but it has a special feel to it as objects are placed with purpose.