Alternatives to F* for all platforms with any license



Indie / Classic

  • F# (programming language) icon

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

    Open Source Mac Windows Linux

  • OCaml icon


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

    Open Source Mac Windows Linux BSD

  • Coq icon


    Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal way, and have them checked for...

    Open Source Mac Windows Linux

  • Agda icon


    Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on values, such...

    Open Source Mac Windows Linux

  • Isabelle icon


    Isabelle is a proof assistant for writing and checking mathematical proofs by computer. It allows mathematical formulas to be...

    Open Source Mac Windows Linux

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!