Baby Names and Name Generators

What Does Halle Mean?
"rock"