karamel (lang/fstar) Updated: 1 month 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: 2026.03.25 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 (5)
Ports that depend on "karamel"
lib (1)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)
1
Requested Installations (30 days)
1
Livecheck results
karamel seems to have been updated (port version: c96d44beee92853a4cc8d9c4bc84e8eb452379f4, new version: 0a39f5a21cb79993c5780b5da24a2f28afbef634)
livecheck ran: 1 day, 15 hours ago