Thema · fstar

fstar

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

Repos

2

Sterne gesamt

4.039

Sterne im Schnitt

2.020

Anteil

0,00%

Themen, die häufig gemeinsam mit fstar am selben Repo auftauchen.

Neue Aufsteiger

Repos, die in den letzten 90 Tagen erstellt und mit fstar getaggt wurden.

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

#1
FStar ↗@FStarLangF*
Eine auf Beweise ausgerichtete Programmiersprache
★ 3.103+4Sterne-Änderung der letzten 7 Tage
#2
aeneas ↗@AeneasVerifOCaml
Eine Verifizierungstoolchain für Rust-Programme
★ 948+17Sterne-Änderung der letzten 7 Tage

← Zurück zu den Themen