fstar (lang/fstar) Updated: 1 month, 1 week ago Add to my watchlist

Verification system for effectful programs

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.

Version: 2025.03.25 License: Apache-2

GitHub

Maintainers	landonf
Categories	devel lang
Homepage	https://fstar-lang.org
Platforms	darwin
Variants	-

Subport(s) (6)

fstar-devel

fstar_select

karamel

kremlin

kremlin-devel

kremlin_select

"fstar" depends on

lib (17)

ocaml

ocaml-batteries

ocaml-fileutils

ocaml-findlib

ocaml-memtrace

ocaml-menhir

ocaml-mtime

ocaml-pprint

ocaml-ppx_deriving

ocaml-ppx_deriving_yojson

ocaml-ppxlib

ocaml-process

ocaml-sedlex

ocaml-stdint

ocaml-yojson

ocaml-zarith

z3-fstar

run (1)

fstar_select

build (5)

clang-18

coreutils

gmake

ocaml-dune

ocaml-ocamlbuild

test (1)

kremlin

Ports that depend on "fstar"

lib (2)

everparse

karamel

Port notes

F* requires z3-4.8.5 and z3-4.13.3 in your PATH.
The z3-fstar port provides these.

Port Health:

Loading Port Health

Installations (30 days)

1

Requested Installations (30 days)

0

Livecheck results

fstar seems to have been updated (port version: 2025.03.25, new version: 2026.05.24)

livecheck ran: 1 day, 14 hours ago

fstar (lang/fstar) Updated: 1 month, 1 week ago Add to my watchlist 0