Dépôts open source suivis de hacl-star, triés par étoiles.
HACL*, une bibliothèque cryptographique formellement vérifiée écrite en F*
