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