{"name":"karamel","portdir":"lang/fstar","version":"2025.04.01","license":"Apache-2","platforms":"darwin","epoch":1,"replaced_by":null,"homepage":"https://fstar-lang.org","description":"A tool for extracting low-level F* programs to readable C code","long_description":"KaRaMeL (formerly KreMLin) is a tool that extracts an F* program to readable C code.","active":true,"categories":["devel","lang"],"maintainers":[{"name":"landonf","github":"landonf","ports_count":84}],"variants":[],"dependencies":[{"type":"build","ports":["gmake","ocaml-dune","ocaml-ocamlbuild","clang-18"]},{"type":"lib","ports":["ocaml-findlib","ocaml-fix","ocaml-menhir","ocaml-pprint","ocaml-ppx_deriving","ocaml-ppx_deriving_yojson","ocaml-process","fstar","ocaml-visitors","ocaml-wasm","ocaml-yojson","ocaml-zarith","coreutils","ocaml-uucp","ocaml-stdint","ocaml","ocaml-batteries","ocaml-fileutils"]}],"depends_on":[]}