F* icon
F* icon

F*

 3 likes

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

License model

  • 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 rating
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

AlternativeTo Categories

Security & Privacy, Development

Popular alternatives

View all

Our users have written 0 comments and reviews about F*, and it has gotten 3 likes

F* was added to AlternativeTo by hritcu on Dec 4, 2015 and this page was last updated Apr 6, 2021.
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