Alternatives to F* for all platforms with any license

Platforms

Desktop

Indie / Classic

  • OCaml icon

    OCaml

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

    Open Source Mac Windows Linux BSD

    No features added Add a feature
  • Coq icon

    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 allows programming with proofs of correctness for the code, and...

    Open Source Mac Windows Linux

    No features added Add a feature
  • Agda icon

    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 length. It also has parametrised modules, mixfix operators...

    Open Source Mac Windows Linux

    No features added Add a feature
  • Isabelle icon

    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 provides tools for proving those formulas in a logical calculus.

    Open Source Mac Windows Linux

    No features added Add a feature

F* Comments

Echo echo ... Feels empty in here

Maybe you want to be the first to submit a comment about F* ? Just click the button up to your right!