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

PrototypeCommon

project-everest/mitls-fstar

Verified implementation of TLS 1.3 in F*

Owner: project-everest (organization)
Stars: Stars: 183
Forks: Forks: 18
Language: F*
License: None
Created: 2015
Tier: Prototype (100 to 249 ★) What this tier means

More repos by project-everest

All 4 repos by project-everest

project-everest/everparseStars: 345F*Alpha
project-everest/valeStars: 321F#Alpha
project-everest/everestStars: 209ShellPrototype

Nearby in F*

FStarLang/FStarStars: 3,133F*RC
hacl-star/hacl-starStars: 1,846F*Beta
project-everest/everparseStars: 345F*Alpha
cryspen/bertieStars: 138F*Prototype