Top 12 Open-Source Alternatives to Agda

Product categories

Android Dynamic Programming Language Financial Planner Generic Programming Language IDE JVM Programming Language OOP Personal Finance Programming Language Technical Computing

Summary

The top open-source alternatives to Agda are Coq, Idris, and Haskell. One of the criteria for ordering this list is the number of mentions that products have on reliable external sources. You can suggest additional sources through the form here.

Coq Landing Page
1

Coq

Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal...
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 46 social mentions
Idris Landing Page
2

Idris

Programming, Programming Language, Learning Resources, Languages, and Frontend Development
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 1 social mentions
Haskell Landing Page
3

Haskell

An advanced purely-functional programming language
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 21 social mentions
Racket Lang Landing Page
4

Racket Lang

Racket (formerly PLT Scheme) is a modern programming language in the Lisp/Scheme family, suitable...
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 91 social mentions
Rust Landing Page
5

Rust

A safe, concurrent, practical language
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 44 social mentions
Python Landing Page
6

Python

Python is a clear and powerful object-oriented programming language, comparable to Perl, Ruby, Scheme, or Java.
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 280 social mentions
Elixir Landing Page
7

Elixir

Dynamic, functional language designed for building scalable and maintainable applications
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 74 social mentions
OCaml Landing Page
8

OCaml

(* Binary tree with leaves carrying an integer.
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 30 social mentions
Kotlin Landing Page
9

Kotlin

Statically typed Programming Language targeting JVM and JavaScript
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 75 social mentions
PureScript Landing Page
10

PureScript

PureScript is a small strongly typed programming language that compiles to JavaScript.
Pricing:
- Open Source
#Personal Finance #Financial Planner #Android 2 social mentions
Zig Landing Page
11

Zig

Zig is a general-purpose programming language designed for robustness, optimality, and maintainability.
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 144 social mentions
Scala Lang Landing Page
12

Scala Lang

Scala is a pure-bred object-oriented language that runs on the JVM
Pricing:
- Open Source
#Programming Language #JVM Programming Language #OOP 5 social mentions