[lights0123]

Straight from https://mitls.org/

> The stable version of miTLS including the new 0.9 release are written in F#

With F# being a link to https://fsharp.org/

[profquail]

The original code was written in F#, then re-written later in F7 then F* (FStar).