F* icon
F* icon

F*

F* is an ML-like functional programming language aimed at program verification. F* can express precise specifications for programs, including functional correctness properties. Programs written in F* can be translated to OCaml or F# for execution.

F* screenshot 1

Cost / License

  • Free
  • Open Source

Application type

Platforms

  • Mac
  • Windows
  • Linux
  • Online  Online tutorial and editor at [https://www.fstar-lang.org/tutorial](https://www.fstar-lang.org/tutorial)
F* alternatives  
-
No reviews
3likes
0comments
6alternatives
0news articles

Features

Suggest and vote on features
  1.  Portable

 Tags

F* News & Activities

Highlights All activities

Recent activities

No activities found.

F* information

  • Developed by

    Unknown

  • Licensing

    Open Source and Free product.

  • Alternatives

    6 alternatives listed

  • Supported Languages

    • English
F* was added to AlternativeTo by hritcu on and this page was last updated .
No comments or reviews, maybe you want to be first?
Post comment/review

What is F*?

F* (pronounced F star) is an ML-like functional programming language aimed at program verification. Its type system includes polymorphism, dependent types, monadic effects, refinement types, and a weakest precondition calculus. Together, these features allow expressing precise and compact specifications for programs, including functional correctness properties. The F* type-checker aims to prove that programs meet their specifications using a combination of SMT solving and manual proofs. Programs written in F* can be translated to OCaml or F# for execution.

Official Links