Agda AlternativesProgramming Languages and other similar apps like Agda

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

Agda iconAgda
  2
  • ...

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

More about Agda
More about Agda
Agda alternatives page was last updated Dec 3, 2015
  Suggest Alternatives
  1. F* icon
    F* icon

    F*

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

    F* is an 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.

    6 F* alternatives
    F* screenshot 1

    License model

    • Free • Open Source

    Application type

    Platforms

    • Mac
    • Windows
    • Linux
    • Online

    F* Features

    1.  Portable
    F* iconAgda Icon

    F* VS Agda

    Is F* a good alternative to Agda?
     

    • F* is the most popular Web-based, Windows, Mac & Linux alternative to Agda.

    • F* is the most popular Open Source & free alternative to Agda.

    • F* is Free and Open SourceAgda is also Free and Open Source
  2. 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 iconAgda Icon

    Coq VS Agda

    Is Coq a good alternative to Agda?
     
  4. 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 iconAgda Icon

    Isabelle VS Agda

    Is Isabelle a good alternative to Agda?
     
3 of 3 Agda alternatives