This a screenshot from the under development branch of Sylphis3D. It presents a procedural sky shader, running on an SM2.0 card (ATI 9600).
The sky it rendered by simulating several types of atmospheric scatering in realtime, producing a real, high dynamic range sky.
The sky can be parameterized in many ways. From atmosphere thickness to light wavelengths emmition and absorption by sky particles.