Thema · f-star

f-star

Erfasste Open-Source-Repos mit dem Tag f-star, sortiert nach Sternen.

Repos

1

Sterne gesamt

518

Sterne im Schnitt

518

Anteil

0,00%

Themen, die häufig gemeinsam mit f-star am selben Repo auftauchen.

Neue Aufsteiger

Repos, die in den letzten 90 Tagen erstellt und mit f-star getaggt wurden.

In den letzten 90 Tagen kam kein neues Repo mit diesem Thema dazu.

#1
karamel ↗@FStarLangOCaml
KaRaMeL ist ein Tool zur Extraktion von Low-Level F*-Programmen in lesbaren C-Code.
★ 518+0Sterne-Änderung der letzten 7 Tage

← Zurück zu den Themen