fstar (lang/fstar) Updated: 2 years, 4 months ago Add to my watchlist
General-purpose functional language aimed at program verificationF* (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"
lib (4)Port notes
To use this F* toolchain with most standard Makefile-based F* projects, pass FSTAR_HOME to the build as either an environment variable, or make(1) parameter:
FSTAR_HOME="${prefix}/libexec/fstar/home"
Port Health:
Loading Port Health
Installations (30 days)
0
Requested Installations (30 days)
0
Livecheck error
Error: livecheck failed for fstar: extracted version '8b6fce63ca91b16386d8f76e82ea87a3c109a208' is older than livecheck.version '34320b047539629c53debda640c50b97d6e556fd'
last updated: 1 day, 3 hours ago