karamel

v 2025.04.01 Updated: 3 days, 9 hours ago

A tool for extracting low-level F* programs to readable C code

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

https://fstar-lang.org

To install karamel, paste this into the macOS Terminal after installing MacPorts

sudo port install karamel

Add to my watchlist

Installations 0
Requested Installations 0