Games with procedurally-generated worlds larger than the player could ever explore are rather common: Minecraft, one of the best-selling games in history, comes immediately to mind. Massive procgen galaxies far predate No Man's Sky as well- see the original Elite and Noctis IV.