Freedom251 › F*
Pricing
F* pricing
As fstar-lang.org lists them, read 11 Oct 2026. The maker's own page has the final word.
| Plan | Billed and limits | Price |
|---|---|---|
| F* | Apache 2.0 licensed · binaries for Windows, Linux, and Mac OS X · install via OPAM, Docker, or Nix, or build from source | Free |
From fstar-lang.org.