AlternativeTo Logo

    F* Alternatives

    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 five alternatives to F* for Mac, Windows, Linux and BSD. The best alternative is F# (programming language), which is both free and Open Source. Other great apps like F* are Isabelle, Coq, Agda and OCaml.

    This page was last updated Apr 6, 2021
    F*
      3
    • FreeOpen Source
    • Mac
    • Windows
    • Linux
    • Online
    More
    F* is an ML-like functional programming language aimed at program verification. F* can express precise specifications for...
    Learn more about F*

    1. F# is a succinct, expressive and efficient functional and object-oriented language for .NET which helps you write simple code to solve complex problems.
      • FreeOpen Source
      • Mac
      • Windows
      • Linux
      More
      More
      Isabelle is a proof assistant for writing and checking mathematical proofs by computer.


      • FreeOpen Source
      • Mac
      • Windows
      • Linux
      More
      More
      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.
      No screenshots yet
      • FreeOpen Source
      • Mac
      • Windows
      • Linux
      More
      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.
      No screenshots yet
    2. OCaml is an industrial strength programming language supporting functional, imperative and object-oriented styles.
      No screenshots yet
    Showing 5 of 5 alternatives