> F* (pronounced F star) is a general-purpose functional programming language with effects aimed at program verification.
> The main ongoing use case of F* is building a verified, drop-in replacement for the whole HTTPS stack in Project Everest [2]. This includes verified implementations of TLS 1.2 and 1.3 and of the underlying cryptographic primitives.
> F* (pronounced F star) is a general-purpose functional programming language with effects aimed at program verification.
> The main ongoing use case of F* is building a verified, drop-in replacement for the whole HTTPS stack in Project Everest [2]. This includes verified implementations of TLS 1.2 and 1.3 and of the underlying cryptographic primitives.
[1] http://www.fstar-lang.org/
[2] https://project-everest.github.io/