KaRaMeL (formerly KreMLin) is a tool that extracts an F* program to readable C code.

WWW: https://fstar-lang.org
