Baby name ideas that have a subtle tie to astronomy (not astrology!)

My partner and I are expecting our first baby next month, gender unknown, and are stuck on a first name options.

We like Atlas or Orion for a boy (our first date was stargazing and we enjoy historical narratives about the cosmos) but they both didn’t feel right.

We are more keen on something like Archer/Archie as a nod to Orion, but would love some more suggestions if you’ve got any.

We are at a loss for girl games within this theme too so any ideas would be great!

Their middle name will be Thomas for a boy with a similarly common western last name.