F* is an actively used programming language created in 2014. 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. Read more on Wikipedia...
- F* ranks in the top 10% of languages
- the F* website
- the F* wikipedia page
- F* on github
- F* first appeared in 2014
- file extensions for F* include fst
- Have a question about F* not answered here? Email me and let me know how I can help.
Last updated June 22nd, 2020