Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

PrototypeCommon

cryspen/bertie

Bertie TLS 1.3 Implementation

Owner: cryspen (organization)
Stars: Stars: 138
Forks: Forks: 6
Language: F*
License: Apache-2.0
Created: 2021
Tier: Prototype (100 to 249 ★) What this tier means

Nearby in F*

hacl-star/hacl-starStars: 1,845F*Beta
project-everest/everparseStars: 345F*Alpha
project-everest/mitls-fstarStars: 183F*Prototype