F*

F* is an ML-like functional programming language aimed at program verification. F* can express precise specifications for programs, including functional correctness...

Free
Open Source
Mac OS X
Windows
Linux
Web

f* (pronounced f star) is an mllike 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* typechecker 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.

Links to official F* sites

Features

The Best 6 F* Alternatives

16 Like

F# (programming language)

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

Free Open Source Mac OS X Windows Linux BSD

Scripting language Object oriented Language Functional Language
3 Like

Coq

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...

Free Open Source Mac OS X Windows Linux
3 Like

OCaml

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

Free Open Source Mac OS X Windows Linux BSD

Object oriented Language Functional Language
1 Like

Isabelle

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...

Free Open Source Windows Linux Mac
1 Like

Agda

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...

Free Open Source Mac OS X Windows Linux

Search app for alternative

Alternativein is a new approach to finding good application.
Just type what software you want to change and browse great alternatives, based on our great community recommendations.

Alternativein is powered by a community that helps you make informed decisions. Tell us what you’re passionate about to get your personalized feed and help others.

Alternativein is a product recommendation community that helps connect people with the best products for them. You shouldn’t have to waste time and money to find solutions to your problems. By collecting the knowledge of enthusiasts across the world through recommendations, we can quickly and confidently show people the truth about a product.

We dream of a world where products succeed or fail on their own merits, and allowing people the space to share their thoughts is the first step in achieving that.

F*

Links to official F* sites

Features

Categories

Tags

The Best 6 F* Alternatives

F# (programming language)

Coq

OCaml

Isabelle

Agda

Search app for alternative

Menu