F* existed before Project Everest, but Everest did power a lot of its development.
We have built verified systems and components in the TLS ecosystem, including parts of TLS, QUIC and related protocols, and continue to do so: https://project-everest.github.io/
About the name: https://fstar-lang.org/tutorial/book/intro.html#a-bit-of-f-h...