GitHub repository: FStarLang/kremlin
Primary language: OCaml
Created: 2016-05-27T23:29:05Z
Description: KreMLin is a tool for extracting low-level F* programs to readable C code