kremlin

v 2021.08.24 Updated: 4 months, 2 weeks ago

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

KreMLin is a tool that extracts an F* program to readable C code.

https://fstar-lang.org

To install kremlin, paste this in macOS terminal after installing MacPorts

sudo port install kremlin

Add to my watchlist

Installations 0
Requested Installations 0