3 ms·
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 t
by profquail 5y 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 https://github.com/FStarLang/kremlin
- lights0123 5y agoStraight from https://mitls.org/ 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/ https://fsharp.org/
- profquail 5y agoThe original code was written in F#, then re-written later in F7 then F* (FStar).