There’s something kind of awe-inspiring about standing in a huge cave, and seeing the vaulted ceilings rise up over you. Caves are amazing miracles of nature — but sometimes, the best caves are actually carved by people. Here are astonishing videos of some of the world’s greatest human-built caves.

The 25-year work of Ra Paulette between the sandstone hills of New Mexico

Elephanta Caves, built between the 5th and 8th centuries, east of Mumbai, India

The Chapel of St. Kinga, carved out of salt by three Polish miners in 67 years inside the Wieliczka Salt Mine in Poland

Vardzia Cave Monastery, Georgia, built in the late 12th century

The Badami Cave Temples, Badami, India, carved out in the late 6th to 7th centuries

Uplistsikhe, Georgia, founded in the Bronze Age, inhabited until the 13th century

The 34 caves of Ellora and 29 of Ajanta in India, built between the date from the 2nd century BCE to the 10th century