fstar (lang/fstar) Updated: 3 months, 3 weeks ago Add to my watchlist

General-purpose functional language aimed at program verification

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: 2022.06.08 License: MIT GitHub
Maintainers landonf
Categories devel lang
Homepage https://fstar-lang.org
Platforms darwin
Variants -

Subport(s) (5)

"fstar" depends on

lib (17)
run (1)
build (4)
test (1)

Ports that depend on "fstar"

Port notes

To use this F* toolchain with most standard Makefile-based F* projects,
pass FSTAR_HOME to the build as either an environmental variable,
or make(1) parameter:


Port Health:

Loading Port Health

Installations (30 days)


Requested Installations (30 days)


Livecheck error

Error: livecheck failed for fstar: extracted version '2fd886586c9cfc5bb0bbee04b5f5fd62272a05cc' is older than livecheck.version '34320b047539629c53debda640c50b97d6e556fd'

last updated: 1 day, 23 hours ago