Sunday, October 25, 2026 4,350 lists 78,100 records on file
List your app or device
MOBILE US PRESSTECH, ON THE RECORD.
AppsAIDevicesGalaxyChipsCompareStories Every list
  1. Home
  2. F*
  3. Pricing
Pricing · 2026

F* pricing

1 plan on the record · a free plan

See today's prices

Every plan

F*

Free

Apache 2.0 licensed · binaries for Windows, Linux, and Mac OS X · install via OPAM, Docker, or Nix, or build from source

Read 11 Oct 2026 · fstar-lang.org