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 2 F* Alternatives

object-oriented-language filter is active.

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

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

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 2 F* Alternatives

F# (programming language)

OCaml

Search app for alternative

Menu