GitHub repository: FStarLang/karamel
Primary language: OCaml
Description: KaRaMeL is a tool for extracting low-level F* programs to readable C code