Dépôts open source suivis ayant F* pour langage principal, triés par étoiles.
Langage de programmation orienté preuve.
HACL*, une bibliothèque cryptographique formellement vérifiée écrite en F*
