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  
3likes
6alternatives
0articles

Features

F* News & Activities

Highlights All activities

Recent activities

  • Yon icon
    POX added F* as alternative to Yon

F* information

  • Developed by

    Unknown

  • Licensing

    Open Source and Free product.

  • Alternatives

    6 alternatives listed

  • Badge

    Get an embeddable badge for F*

  • Supported Languages

    • English

AlternativeTo Categories

Security & Privacy, Development

Popular alternatives

View all
F* was added to AlternativeTo by hritcu on and this page was last updated .
No comments or reviews, maybe you want to be first?

Official Links

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.