Erfasste Open-Source-Repos mit F* als Hauptsprache, sortiert nach Sternen.
Eine auf Beweise ausgerichtete Programmiersprache
HACL*, eine formal verifizierte kryptografische Bibliothek, geschrieben in F*
