Verified implementation of TLS 1.3 in F*
project-everest/mitls-fstar has 183 GitHub stars.
It currently ranks #12025 daily, #13066 weekly, #16513 monthly by momentum on Trending Repos; its best-ever rank is #3966.