|Paradigm||Multi-paradigm: functional, imperative|
|Designed by||Microsoft Research and Inria|
|Typing discipline||Dependent, inferred, static, strong|
|OS||Linux, macOS, Windows|
|License||Apache License 2.0|
|Coq, Dafny, F#, Lean, OCaml, Standard ML|
The latest version of F* is written entirely in a common subset of F* and F#, and bootstraps in both OCaml and F#. It is open source (under the Apache License 2.0) and is under active development on GitHub.