TopAlter.com

F* Alternatives

F* Alternatives

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.

Best Open Source F* Alternatives

If you want similar software to F*, we have a list for that. Are there F* alternatives out there? Let's find out.

F# (programming language)

F# (programming language)

FreeOpen SourceMacWindowsLinuxBSD

F# is a succinct, expressive and efficient functional and object-oriented language for .NET which helps you write simple code to solve complex problems.

Features:

  • Functional Language
  • Object-oriented Language
  • Scripting language
Coq

Coq

FreeOpen SourceMacWindowsLinux

Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal way, and have them checked for correctness by the computer. It also...

Isabelle

Isabelle

FreeOpen SourceMacWindowsLinux

Isabelle is a proof assistant for writing and checking mathematical proofs by computer. It allows mathematical formulas to be expressed in a formal language and...

OCaml

OCaml

FreeOpen SourceMacWindowsLinuxBSD

OCaml is an industrial strength programming language supporting functional, imperative and object-oriented styles.

Features:

  • Functional Language
  • Object-oriented Language
Agda

Agda

FreeOpen SourceMacWindowsLinux

Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on values, such as the type of vectors of a given...

Upvote Comparison

Interest Trends

F* Reviews

Add your reviews & share your experience when using F* to the world. Your opinion will be useful to others who are looking for the best F* alternatives.

Copyright © 2021 TopAlter.com

Sites we Love: AnswerBun, MenuIva, UKBizDB, Sharing RPP