Rock, stone
This name comes from the Greek tradition.
Petra is a Christian girl name. It is commonly given to girls.