{"name":"fstar","portdir":"lang/fstar","version":"2022.06.08","license":"MIT","platforms":"darwin","epoch":1,"replaced_by":null,"homepage":"https://fstar-lang.org","description":"General-purpose functional language aimed at program verification","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":83}],"variants":[],"dependencies":[{"type":"build","ports":["clang-16","gmake","ocaml-ocamlbuild","coreutils"]},{"type":"lib","ports":["ocaml-fileutils","ocaml-findlib","ocaml-menhir","ocaml-pprint","ocaml-ppx_deriving","ocaml-ppx_deriving_yojson","ocaml-process","ocaml-sedlex","ocaml-stdint","ocaml-yojson","ocaml-zarith","realpath","ocaml-ppxlib","gmp","ocaml","z3-fstar","ocaml-batteries"]},{"type":"run","ports":["fstar_select"]},{"type":"test","ports":["kremlin"]}],"depends_on":[{"type":"lib","ports":["ocaml-hacl-star","ocaml-hacl-star-raw","kremlin","everparse"]}]}