Verified implementation of TLS 1.3 in F*
HACL* verified C code (READ-ONLY, NOT NECESSARILY UP-TO-DATE)
TLS implemented in f7
curl, with miTLS integrated as a TLS provider
A fork of the Minq QUIC stack that uses miTLS insead of Mint
There is no information about this tag. To add some, make a pull request.