| Paradigms | functional programming, imperative programming |
|---|---|
| Typing discipline | strong typing, inference typing, refinement typing, dependent typing, static typing |
| Developer | Microsoft Research, Institut National de Recherche en Informatique et en Automatique |
| Type | dependently typed programming language, programming language, source-to-source compiler |
| Influenced by | F#, Standard ML, Dafny, OCaml, Lean |
| License | Apache Software License 2.0 |
| Latest version | 0.9.6.0 |
| Website | fstar-lang.org |
| Written in | F# |
| Operating systems | cross-platform |
Sources: Wikidata (CC0) · Wikidata Q5423569