devtool
F*: A general-purpose proof-oriented programming language
F* excels at high-assurance verification but has a steep learning curve, fit for security-focused teams.
6.8Overall
Utility7
Onboarding4
Craft7
Niche fit7
Longevity8
Five dimensions scored independently; overall is a weighted average. Scores are only comparable within this same rubric.
Good for
Teams building security-critical or formally verified software
Not for
General application developers seeking rapid development
Project description
fstar-lang.org
Alternatives
CoqDafnyLeanIsabelle/HOLWhy3