{"name":"fstar","portdir":"lang/fstar","version":"2025.03.25","license":"Apache-2","platforms":"darwin","epoch":1,"replaced_by":null,"homepage":"https://fstar-lang.org","description":"Verification system for effectful programs","long_description":"F* (pronounced F star) is a general-purpose functional programming language with effects aimed at program verification. It puts together the automation of an SMT-backed deductive verification tool with the expressive power of a proof assistant based on dependent types. After verification, F* programs can be extracted to efficient OCaml, F#, C, WASM, or ASM code.","active":true,"categories":["devel","lang"],"maintainers":[{"name":"landonf","github":"landonf","ports_count":84}],"variants":[],"dependencies":[{"type":"build","ports":["clang-18","gmake","ocaml-dune","ocaml-ocamlbuild","coreutils"]},{"type":"lib","ports":["ocaml-menhir","ocaml-pprint","ocaml-ppx_deriving","ocaml-ppx_deriving_yojson","ocaml-process","ocaml-sedlex","ocaml-stdint","ocaml-yojson","ocaml-zarith","ocaml-ppxlib","ocaml-memtrace","ocaml-mtime","ocaml","z3-fstar","ocaml-batteries","ocaml-fileutils","ocaml-findlib"]},{"type":"run","ports":["fstar_select"]},{"type":"test","ports":["kremlin"]}],"depends_on":[{"type":"lib","ports":["everparse","karamel"]}]}