F* (pronounced F star) is a functional programming language inspired by ML and aimed at program verification. Its type system includes dependent types, monadic effects, and refinement types. This allows expressing precise specifications for programs, including functional correctness and security properties. The F* type-checker aims to prove that programs meet their specifications using a combination of SMT solving and manual proofs. Programs written in F* can be translated to OCaml, F#, and C for execution. Previous versions of F* could also be translated to JavaScript. More information...
According to PR-model, fstar-lang.org is ranked 1,370,456th in multilingual Wikipedia, in particular this website is ranked 178,940th in Russian Wikipedia.
The website is placed before klandk.com and after chippenhamdivers.co.uk in the BestRef global ranking of the most important sources of Wikipedia.
