← All repos

FStarLang/karamel

View on GitHub ↗ ★ 528 OCaml

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

3 mentions on Hacker News by 3 people: 0 stories, 3 comments · first 2020-01-18 · latest 2021-04-20