karamel (lang/fstar) Updated: 3 days, 15 hours ago Add to my watchlist
A tool for extracting low-level F* programs to readable C codeKaRaMeL (formerly KreMLin) is a tool that extracts an F* program to readable C code.
Version: 2025.04.01 License: Apache-2
GitHub
| Maintainers | landonf |
| Categories | devel lang |
| Homepage | https://fstar-lang.org |
| Platforms | darwin |
| Variants | - |
Subport(s) (6)
"karamel" depends on
lib (18)
build (4)
Ports that depend on "karamel"
No ports
Port notes
To use this KaRaMeL toolchain with most standard Makefile-based F*/KaRaMeL projects, pass KRML_HOME to the build as either an environment variable, or make(1) parameter:
KRML_HOME="${prefix}/libexec/karamel/home"
Port Health:
Loading Port Health
Installations (30 days)
0
Requested Installations (30 days)
0
Livecheck results
karamel seems to have been updated (port version: 86f99f08afa04ca792f9c4f64f24db4c0fdbc46c, new version: 154d840a3c7d7836207e05c93d3e4c98cb15d44a)
livecheck ran: 1 day, 7 hours ago