Marvel is the name of a comic book publisher that has turned into a huge entertainment franchise. Among Marvel's superheroes is Captain Marvel. Captain Marvel's real name was Carol Danvers. She joined the United States Air Force where she worked in military intelligence, and later joined NASA. During a battle, she was knocked into a damaged Kree Psyche-Magnitron machine. It altered her genetic structure, turning her into a half-Kree superhuman. She then became a member of the Avengers.
In X-Men, Marvel Girl was the daughter of Cyclops and Phoenix in an possible future. Her real name was Rachel "Ray" Summers. She was the a member of a group of space pirates known as the Starjammers. Her son, Jay Scott Grey Summers was known as Marvel Boy.
In the D.C. Comics franchise, William Batson was known as Captain Marvel. A wizard named Shazaam gave him the powers of six legendary heroes of Ancient Greece. He had Shazaam also give powers to his twin sister who became known as Mary Marvel and his friend Frederick Freeman, who became Captain Marvel Jr. together they were known as the Marvel Family.
In The Hunger Games, Marvel was a tribute from District 1. Katniss killed him after he killed her ally Rue.
Marvel is an English word name that means "a wonderful thing." Marvel was among the top 1,000 names for girls from 1900 through 1941. It's highest rank was in 1901 when it was #519. It never ranked in the top 1,000 for boys. In 2014, 28 girls and 24 boys were named Marvel. The alternate spelling Marvell was given to 12 boys.
Marvel is a bold choice. It's a name that may be difficult to live up to.