Baby Name Poll

Charles vs. Nicknamed vs. Hal/Cal
We love the name Charles for our second son. He will be joining big brother Graham. We do love the name Charles but worry it sounds a bit formal. We aren't huge fans of "Charlie", but really like both Cal and Hal- do you think either of those could work as a nickname for Charles?
Thank you for your thoughts!