I know (and am able to prove via Stone-Čech compactification) that the following is correct:
Theorem: A metric space is compact if and only if its space of bounded, continuous, real-valued functions is separable in the uniform topology.
I use it in a paper for readers who are presumably not familiar with this kind of topology, so I cannot call it "obvious" or "well-known". I would be thankful for a name and/or good reference to cite this theorem!