MiTLS is written in FStar, not F#. FStar has some tools (like Kremlin [1]) for e... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

profquail on April 20, 2021 | parent | context | favorite | on: Preparing Rustls for Wider Adoption

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

lights0123 on April 21, 2021 [–]

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 on April 21, 2021 | [–]

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

Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact