Βιβλιοθήκες γραμμένες σε F*

Γλώσσα προγραμματισμού προσανατολισμένη στην απόδειξη.

HACL*, μια επίσημα επαληθευμένη κρυπτογραφική βιβλιοθήκη γραμμένη σε F*.

Επαληθευμένη εφαρμογή του TLS 1.3 στο F*.