There's also miTLS http://www.mitls.org/wsgi/home - a verified reference implementation of TLS written in F#