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

6Years Old 1,691Users ?Jobs

Last updated January 18th, 2020

Edit F* on GitHub