Bertie

Formally verified TLS 1.3 implementation
Is freely licensed? ✅
Website https://cryspen.com
Source https://github.com/cryspen/bertie
NLNet grant pages