The Virtual Terrain Project is a website cataloging tools for creating the real world in virtual form. While it includes a lot that isn’t strictly procedural generation, it has a huge library of links to tools and techniques for anything related to modeling terrain or anything that goes on it.