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 security & privacy 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 OCaml, Coq, Isabelle and Agda.

F* iconF*
  3
  • ...

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

More about F*
More about F*
F* alternatives page was last updated Jul 7, 2023
  Suggest Alternatives
  1. F# (programming language) icon
    F# (programming language) icon

    F# (programming language)

     25 likes
    Copy a direct link to this comment to your clipboard

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

    69 F# (programming language) alternatives
    F# (programming language) screenshot 1

    License model

    • Free • Open Source

    Application type

    Platforms

    • Mac
    • Windows
    • Linux
    • BSD

    F# (programming language) Features

    1.  Compiled Language
    2.  Interpreted language
    3.  Functional Language
    4.  Object-oriented Language
    F# (programming language) iconF* Icon

    F# (programming language) VS F*

    Is this a good alternative to F*?
     

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

    • F# (programming language) is Free and Open SourceF* is also Free and Open Source
  2. OCaml icon
    OCaml icon

    OCaml

     4 likes
    Copy a direct link to this comment to your clipboard

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

    32 OCaml alternatives

    License model

    • Free • Open Source

    Application type

    Platforms

    • Mac
    • Windows
    • Linux
    • BSD

    OCaml Features

    1.  Functional Language
    2.  Object-oriented Language
    OCaml iconF* Icon

    OCaml VS F*

    Is OCaml a good alternative to F*?
     
  4. Coq icon
    Coq icon

    Coq

     4 likes
    Copy a direct link to this comment to your clipboard

    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.

    3 Coq alternatives

    License model

    • Free • Open Source

    Platforms

    • Mac
    • Windows
    • Linux
    Coq iconF* Icon

    Coq VS F*

    Is Coq a good alternative to F*?
     
  5. Isabelle icon
    Isabelle icon

    Isabelle

     3 likes
    Copy a direct link to this comment to your clipboard

    Isabelle is a proof assistant for writing and checking mathematical proofs by computer.

    3 Isabelle alternatives
    Isabelle screenshot 1

    License model

    • Free • Open Source

    Platforms

    • Mac
    • Windows
    • Linux
    Isabelle iconF* Icon

    Isabelle VS F*

    Is Isabelle a good alternative to F*?
     
  6. Agda icon
    Agda icon

    Agda

     2 likes
    Copy a direct link to this comment to your clipboard

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

    3 Agda alternatives

    License model

    • Free • Open Source

    Application type

    Platforms

    • Mac
    • Windows
    • Linux
    Agda iconF* Icon

    Agda VS F*

    Is Agda a good alternative to F*?
     

  7. Q#

     Like this app
    Copy a direct link to this comment to your clipboard

    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.

    52 Q# alternatives

    License model

    • Free • Open Source

    Application type

    Platforms

    • Mac
    • Windows
    • Linux
    • BSD

    Q# Features

    1.  Ad-free
    F* Icon

    Q# VS F*

    Is Q# a good alternative to F*?
     
6 of 6 F* alternatives