Top 12 Open-Source Alternatives to Lean

Product categories

Dynamic Programming Language Generic Programming Language IDE JVM Programming Language OOP Programming Language Technical Computing

Summary

The top open-source alternatives to Lean are Agda, Haskell, and Coq. 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.

Agda Landing Page
1

Agda

Agda is a dependently typed functional programming language. It has inductive families, i.e.
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 7 social mentions
Haskell Landing Page
2

Haskell

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

Coq

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

Rust

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

Idris

Programming, Programming Language, Learning Resources, Languages, and Frontend Development
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 1 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
Racket Lang Landing Page
8

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
Scala Lang Landing Page
9

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
OCaml Landing Page
10

OCaml

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

Haxe

Haxe is an open source toolkit based on a modern, high level, strictly typed programming language.
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 45 social mentions
Zig Landing Page
12

Zig

Zig is a general-purpose programming language designed for robustness, optimality, and maintainability.
Pricing:
- Open Source
#Programming Language #OOP #Generic Programming Language 143 social mentions