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
- I have 59 facts about F*. what would you like to know? email me and let me know how I can help.
Last updated October 14th, 2019