git-star-ranking

leanprover-community

leanprover-community Joined Jul 2018 View on GitHub

Stars
13,532
across 94 public repos
Rank
#2,859
of 94,827 organizations, top 4%
Down 134 places this week

Repositories with 50+ stars

RankRepositoryLanguageStars
14,661
mathlib4

The math library of Lean 4

Lean 4,467
41,119
mathlib3

Lean 3's obsolete mathematical components library: please use mathlib4

Lean 1,666
78,299
physlib

A project to digitalise results from physics into Lean.

Lean 835
101,803
mathematics_in_lean

The user home repository for the Mathematics in Lean tutorial.

HTML 629
108,583
lean4game

Server to host Lean games

TypeScript 586
141,809
lean

Lean 3 Theorem Prover (community fork)

C++ 435
142,655
batteries

The "batteries included" extended library for the Lean programming language and theorem prover

Lean 432
148,144
aesop

White-box automation for Lean 4

Lean 414
155,135
NNG4

Natural Number Game

Lean 393
185,801
lean4-metaprogramming-book
Lean 320
224,947
lean-liquid

💧 Liquid Tensor Experiment

Lean 256
231,073
iris-lean

Lean 4 port of Iris, a higher-order concurrent separation logic framework

Lean 248
240,756
repl

A simple REPL for Lean 4, returning information about errors and sorries.

Lean 236
244,168
ProofWidgets4

Helper toolkit for creating your own Lean 4 UserWidgets

Lean 232
281,877
lean-auto

Experiments on automation for Lean

Lean 195
297,107
tutorials

Some Lean tutorials

Lean 183
322,287
lean4web

Lean web editor

TypeScript 166
366,315
lean4-mode

Emacs major mode for Lean 4

Emacs Lisp 142
384,074
lean-perfectoid-spaces

Perfectoid spaces in the Lean formal theorem prover.

Lean 134
416,699
LeanProject

A template for blueprint-driven formalization projects in Lean.

Python 121
422,181
duper
Lean 119
422,181
plausible
Lean 119
446,219
quote4

Intuitive, type-safe expression quotations for Lean 4.

Lean 111
530,478
con-nf

A formal consistency proof of Quine's set theory New Foundations

Lean 89
550,054
leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

CSS 85
571,596
lean4-samples

Code samples for Lean 4

Lean 81
613,508
flt-regular

Fermat's Last Theorem for regular primes

Lean 74
633,655
format_lean

A Lean file formatter

Python 71
655,646
lftcm2020

Lean for the Curious Mathematician 2020

Lean 68
687,796
tutorials4

Lean 4 tutorial files

Lean 64
834,145
sphere-eversion

Formalization of the existence of sphere eversions

Lean 50

Among 94,827 organizations

10k–16k stars: 1,461 organizations, including leanprover-community

Stars along the bottom, and organizations in each band on a log scale

Where the stars are

mathlib4 4.5k, 33%mathlib3 1.7k, 12%physlib 835, 6%mathematics_in_lean 629, 5%lean4game 586, 4%
Smaller repos 511, 4%
7 more repos 493, 4%
lean 435, 3%batteries 432, 3%aesop 414, 3%NNG4 393, 3%lean4-metaprogramming-book 320, 2%lean-liquid 256, 2%iris-lean 248, 2%repl 236, 2%ProofWidgets4 232, 2%lean-auto 195, 1%tutorials 183, 1%lean4web 166, 1%lean4-mode 142, 1%lean-perfectoid-spaces 134, 1%LeanProject 121, 1%duper 119, 1%plausible 119, 1%quote4 111, 1%con-nf 89, 1%

Languages

  1. Lean 10.8k stars, 80% · 23 repos
  2. TypeScript 752 stars, 6% · 2 repos
  3. HTML 629 stars, 5% · 1 repo
  4. C++ 435 stars, 3% · 1 repo
  5. Python 192 stars, 1% · 2 repos
  6. Emacs Lisp 142 stars, 1% · 1 repo
  7. CSS 85 stars, 1% · 1 repo

When they were made

31 repos with 50+ stars, made between 2017 and 2024

Quick stats

Next rank
+4 stars to reach #2,858
Next milestone
+21,441 stars to reach the top 1%
Public repos
94, 31 with 50+ stars
Popular repos
23 over 100 stars, 2 over 1k stars
Top repo
mathlib4, #14,661 of all repos, 33% of stars
Smaller repos
511 stars from repos under 50

Stars counted Recounted daily Next count around