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 |