HTTP 200 OK
Allow: GET, HEAD, OPTIONS
Content-Type: application/json
Vary: Accept
{
"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": 81
}
],
"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"
]
}
]
}