Lean
languages / Lean877Developers
Top ranked
Rank | Developer | Repos | Stars | |
---|---|---|---|---|
1 | ![]() | leanprover | 10 | 2,277 |
2 | ![]() | uwdb | 1 | 596 |
3 | ![]() | AndrasKovacs | 1 | 432 |
4 | ![]() | dselsam | 9 | 402 |
5 | ![]() | Kha | 9 | 324 |
6 | ![]() | kbuzzard | 12 | 284 |
7 | ![]() | formalabstracts | 1 | 150 |
8 | ![]() | yatima-inc | 23 | 143 |
9 | ![]() | blanchette | 4 | 138 |
10 | ![]() | arthurpaulino | 7 | 127 |
1,969Repos
Top ranked
Rank | Repo | Stars | Developer | |
---|---|---|---|---|
![]() | 1 | lean4 | 2,048 | leanprover |
![]() | 2 | Cosette | 596 | uwdb |
![]() | 3 | smalltt | 432 | AndrasKovacs |
![]() | 4 | certigrad | 382 | dselsam |
![]() | 5 | electrolysis | 303 | Kha |
![]() | 6 | xena | 215 | kbuzzard |
![]() | 7 | formalabstracts | 150 | formalabstracts |
![]() | 8 | flypitch | 94 | flypitch |
![]() | 9 | SciLean | 93 | lecopivo |
![]() | 10 | lean4-raytracer | 92 | kmill |
Most popular
Topic | Repos | Stars |
---|---|---|
lean4 | 71 | 2,781 |
formal-methods | 1 | 1,292 |
sql | 3 | 592 |
rosette | 1 | 588 |
coq | 1 | 588 |
theorem-proving | 8 | 396 |
machine-learning | 1 | 376 |
raytracing | 1 | 91 |
scientific-computing | 1 | 86 |
numerical-methods | 1 | 86 |