FStarLang/karamel

KaRaMeL is a tool for extracting low-level F* programs to readable C code

语言：OCaml · GitHub 星标：524 · Fork：74

话题：c-language · cryptography · f-star · proofs · verification

在 GitHub 上查看原仓库