Noita is a great one. Making a randomly generated world this consistent while simulating a million particles and not having it collapse on itself is really cool.
Despite the fact that I don't like No Man's Sky very much, its procedural generation is also pretty impressive. Planets have a lot of variety to them. It's a very pretty game.