F* AlternativesProgramming Languages and other similar apps like F*

F* is described as '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' and is a programming language in the development category. There are six alternatives to F* for Mac, Windows, Linux and BSD. The best F* alternative is F# (programming language), which is both free and Open Source. Other great apps like F* are Coq, OCaml, Isabelle and Agda.

Free • Open Source
Programming Language

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

More about F*

F* alternatives page was last updated

F# (programming language)
Is this is a good alternative?
Yes
No
Free • Open Source
Programming Language
Mac
Windows
Linux
BSD
67 F# (programming language) alternatives
F# is a succinct, expressive and efficient functional and object-oriented language for .NET which helps you write simple code to solve complex problems.
- - F# (programming language) is the most popular Windows, Mac & Linux alternative to F*.
- - F# (programming language) is the most popular Open Source & free alternative to F*.
Suggest and vote on features
F# (programming language) Features
Compiled Language
Interpreted language
Functional Language
Object-oriented Language
Coq
Is this is a good alternative?
Yes
No
Free • Open Source
Mac
Windows
Linux
3 Coq alternatives
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 allows programming with proofs of correctness for the code, and dependent types.
Coq has no features, suggest some!
Add a screenshot
OCaml
Is this is a good alternative?
Yes
No
Free • Open Source
Programming Language
Mac
Windows
Linux
BSD
29 OCaml alternatives
OCaml is an industrial strength programming language supporting functional, imperative and object-oriented styles.
Suggest and vote on features
OCaml Features
Functional Language
Object-oriented Language
Add a screenshot
Isabelle
Is this is a good alternative?
Yes
No
Free • Open Source
Mac
Windows
Linux
3 Isabelle alternatives
Isabelle is a proof assistant for writing and checking mathematical proofs by computer.
Isabelle has no features, suggest some!
Agda
Is this is a good alternative?
Yes
No
Free • Open Source
Programming Language
Mac
Windows
Linux
3 Agda alternatives
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 length. It also has parametrised modules, mixfix operators, Unicode characters, and an interactive Emacs...
Agda has no features, suggest some!
Add a screenshot
Q#
Is this is a good alternative?
Yes
No
Free • Open Source
Programming Language
Mac
Windows
Linux
BSD
51 Q# alternatives
Q# (pronounced as Q sharp) is a domain-specific programming language used for expressing quantum algorithms. It was initially released to the public by Microsoft as part of the Quantum Development Kit.
Suggest and vote on features
Q# Features
1. Ad-freeQ# doesn't contain any form of external advertising.
Add a screenshot

6 of 6 F* alternatives

F* AlternativesProgramming Languages and other similar apps like F*

F# (programming language)

F# (programming language) Features

Coq

OCaml

OCaml Features

Isabelle

Agda

Q#

Q# Features