Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage. Crédits

PrototypeCommune

cryspen/bertie

Bertie TLS 1.3 Implementation

Propriétaire: cryspen (organisation)
Étoiles: Étoiles : 138
Forks: Forks : 6
Langage: F*
Licence: Apache-2.0
Création: 2021
Rang: Prototype (100 à 249 ★) Ce que veut dire ce rang

Voir sur GitHub

D’autres dépôts F*

Tous les dépôts F*

hacl-star/hacl-starÉtoiles : 1 845F*Bêta
project-everest/everparseÉtoiles : 345F*Alpha
project-everest/mitls-fstarÉtoiles : 183F*Prototype