FStarLang/FStar
A Proof-oriented Programming Language observed · 2026-08-28
Health v2 · maintenance only
99/100
- Activity 99
- Release rhythm 99
- Longevity 100
How is this computed?
round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-09-03. Adoption (stars, forks) is never an input.
- gap_med: 8
- age_days: 4535
- days_rel: 10
- days_push: 7
- n_releases_24m: 30
Adoption not part of the score
3100 stars · 262 forks observed · 2026-08-28
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded
F* is a general-purpose proof-oriented programming language combining dependent types with SMT-based proof automation and interactive theorem proving. It verifies programs by default and can extract them to OCaml, F#, C, Wasm, or assembly via companion tools like KaRaMeL and Vale.
Use cases
- formally verify program correctness
- prove security properties of cryptographic code
- write verified low-level C code via Low* and KaRaMeL
- learn dependent types and interactive theorem proving
- verify concurrent imperative programs with Pulse
- extract verified code to OCaml or F#
When to choose
- you need machine-checked proofs of program correctness or security
- you want a dependently typed language with SMT-backed automation
- you are verifying cryptographic or low-level implementations like those in Project Everest
When to avoid
- you just need a general-purpose language for ordinary application development without proofs
- your team has no background in formal methods or type theory
- you need fast iteration without a verification-oriented workflow
Facets
cli-tool · maturity active
programming-language compiler type-system interpreter programming-languages compilers security windows cross-platform cli proof-assistant dependent-types smt-solver theorem-proving program-verification formal-methods code-extraction ocaml f-sharp karamel algorithms linux macos
2 sources
- readme: https://github.com/FStarLang/FStar · fetched 2026-08-28 · bb6031f9bc5a
- homepage: https://fstar-lang.org · fetched 2026-08-29 · 736d996a3316
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| FStarLang/FStar | main | 99 |
For agents
Data as of 2026-08-30T08:39:29.467469+00:00 · Report a problem