StarRank

leanprover/lean3

C++leanprover.github.io
Overall #30,729C++ #1,584Language Implementations #475
macOSWindowsLinux

Lean Theorem Prover

programming-languagetheorem-provingtype-theoryverificationdependent-typeslean
Star Growth
Stars
2.2k
Forks
225
Weekly Growth
+0
Issues
58
1k2k
Jul 2013Nov 2017Apr 2022Sep 2026

↓ Download

All releases →
macOS
Windows
Linux
README

This repository has been frozen. Lean 4 is now the official release.

About

Installation

Stable and nightly binary releases of Lean are available on the homepage. For building Lean from source, see the build instructions.

Related repositories
golang/go

The Go programming language

GoGo ModulesBSD 3-Clause "New" or "Revised" Licenseprogramming-languagelanguage
go.dev
138k19.3k
JetBrains/kotlin

The Kotlin Programming Language.

Kotlinkotlinprogramming-language
kotlinlang.org
53.4k6.4k
charlax/professional-programming

A collection of learning resources for curious software engineers

PythonPyPItutorialMIT Licenseread-articlesprogrammer
51.5k4k
JuliaLang/julia

The Julia Programming Language

JuliaMIT Licensejulia-languagejulia
julialang.org
49.1k6k
LeCoupa/awesome-cheatsheets

👩‍💻👨‍💻 Awesome cheatsheets for popular programming languages, frameworks and development tools. They include everything you should know in one single file.

JavaScriptnpmawesomeMIT Licensecheatsheetsjavascript
lecoupa.github.io/awesome-cheatsheets/
46.4k6.7k
vlang/v

Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

VMIT Licenseprogramming-languagelanguage
37.8k2.3k
carbon-language/carbon-lang

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

C++Otherprogramming-languagecarbon-lang
docs.carbon-lang.dev
33.9k1.7k
modular/modular

The Modular Platform (includes MAX & Mojo)

MojoOtherailanguage
docs.modular.com
29.7k3.2k
argotorg/solidity

Solidity, the Smart Contract Programming Language

C++GNU General Public License v3.0cppethereum
soliditylang.org
25.7k6.2k
ruby/ruby

The Ruby Programming Language

RubyRubyGemsOtherrubyc
ruby-lang.org
23.7k5.6k
AlDanial/cloc

cloc counts blank lines, comment lines, and physical lines of source code in many programming languages.

PerlGNU General Public License v2.0cloccount-lines
23.5k1.1k
gleam-lang/gleam

⭐️ A friendly language for building type-safe, scalable systems!

Rustcrates.ioApache License 2.0gleamprogramming-language
gleam.run
21.9k1k