Hacker News new | ask | show | jobs
by profquail 1892 days ago
MiTLS is written in FStar, not F#. FStar has some tools (like Kremlin [1]) for extracting C code from the verified FStar, so in theory it wouldn’t be too hard to also extract Rust code too.

[1] https://github.com/FStarLang/kremlin
1 comments
lights0123 1892 days ago
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/

link
profquail 1892 days ago
The original code was written in F#, then re-written later in F7 then F* (FStar).
link