Dépôts open source suivis de FStarLang, triés par étoiles.
Langage de programmation orienté preuve.
KaRaMeL est un outil permettant d'extraire des programmes F* de bas niveau vers du code C lisible.
