ML-like language aimed at program verification


/api/formula/fstar.json (JSON API)

Formula code on GitHub

Current versions:

head ⚡️ HEAD
bottle 🍾 high_sierra, sierra, el_capitan

Depends on:

gmp 6.1.2 GNU multiple precision arithmetic library
ocaml 4.07.0 General purpose programming language in the ML family

Depends on when building from source:

camlp4 4.07+1 Tool to write extensible parsers in OCaml
ocamlbuild 0.13.0 Generic build tool for OCaml
opam 2.0.0 The OCaml package manager


Installs (30 days)
fstar 15
Installs on Request (30 days)
fstar 15
Build Errors (30 days)
fstar 1
Installs (90 days)
fstar 48
fstar --HEAD 7
Installs on Request (90 days)
fstar 47
fstar --HEAD 7
Installs (365 days)
fstar 407
fstar --HEAD 48
Installs on Request (365 days)
fstar 317
fstar --HEAD 48
Fork me on GitHub