karamel (lang/fstar) Updated: 1 month, 3 weeks 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: 2309d841d896e5f2b0fec73884657eefea5fad6e)
livecheck ran: 1 day, 18 hours ago