Hacker News new | ask | show | jobs
by tenzing 4360 days ago
There's also miTLS http://www.mitls.org/wsgi/home - a verified reference implementation of TLS written in F#