Erfasste Open-Source-Repos von FStarLang, sortiert nach Sternen.
Eine auf Beweise ausgerichtete Programmiersprache
KaRaMeL ist ein Tool zur Extraktion von Low-Level F*-Programmen in lesbaren C-Code.
