Topic · fstar

fstar

Tracked open-source repos tagged fstar, sorted by stars.

Repos

2

Total stars

4,039

Avg. stars

2,020

Share

0.00%

Topics that frequently appear alongside fstar on the same repo.

Recent risers

Repos created in the last 90 days, tagged fstar.

No new repos tagged with this topic in the last 90 days.

#1
FStar ↗@FStarLangF*
A Proof-oriented Programming Language
★ 3,103+4Star change over the last 7 days
#2
aeneas ↗@AeneasVerifOCaml
A verification toolchain for Rust programs
★ 946+17Star change over the last 7 days

← Back to topics