Open source releases from Microsoft
Project Everest aims to build and deploy a verified HTTPS stack. From Microsoft Research.
HACL*, a formally verified cryptographic library written in F*
An open source, portable, easy to use, readable and flexible SSL library
Automated generation of verified F* parsers from RFC specifications