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...

5Years Old 1,691Users 0Jobs

Last updated December 10th, 2019

Edit F*