BêtaRare
hacl-star/hacl-star
HACL*, a formally verified cryptographic library written in F*
- Propriétaire
- hacl-star (organisation)
- Étoiles
- Étoiles : 1 846
- Forks
- Forks : 194
- Langage
- F*
- Licence
- Apache-2.0
- Création
- 2016
- Sujets
- cryptographyverified-primitiveshigh-performancesecurityformal-methodsformal-verificationinriahacleverestverification
- Rang
- Bêta (700 à 1 999 ★) Ce que veut dire ce rang
D’autres dépôts F*
Tous les dépôts F*- FStarLang/FStarÉtoiles : 3 133F*RC
- project-everest/everparseÉtoiles : 345F*Alpha
- project-everest/mitls-fstarÉtoiles : 183F*Prototype
- cryspen/bertieÉtoiles : 138F*Prototype