| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| leanprover-community/repl | LeanShell | 24 | 0 | 3 | 0 |
| second-state/mcm | Lean | 0 | 0 | 0 | 0 |
| leanprover-community/mathematics_in_lean | HTMLLeanJavaScript | 84 | 0 | 50 | 0 |
| cardano-foundation/cardano-wallet | HaskellMarkdownRuby | 726 | 0 | 228 | 0 |
| adamtopaz/CopenhagenMasterclass2023 | LeanDockerfile | 5 | 0 | 2 | 0 |
| avigad/mathematics_in_lean_source | LeanPythonTeX | 52 | 0 | 39 | 0 |
| mariainesdff/skew_polynomials | Lean | 0 | 0 | 0 | 0 |
| avigad/lean-auto | LeanOther | 5 | 0 | 1 | 0 |
| gebner/quote4 | LeanMakefile | 52 | 0 | 8 | 0 |
| rami3l/plfl | Lean | 28 | 0 | 2 | 0 |
| yuma-mizuno/lean-math-workshop | LeanDockerfile | 46 | 0 | 15 | 0 |
| katydid/coq-lean-cheatsheet | LeanCoq | 11 | 0 | 0 | 0 |
| kevinsullivan/cs2120f23 | LeanCSSJavaScript | 2 | 0 | 176 | 0 |
| nomeata/loogle | NixPythonLean | 16 | 0 | 0 | 0 |
| paulcadman/lean4-leetcode | Lean | 6 | 0 | 0 | 0 |
| mhuisi/lean4-cli | Lean | 44 | 0 | 8 | 0 |
| joneugster/InftyCat | Lean | 1 | 0 | 1 | 0 |
| meoowers/rinha | LeanDockerfileShell | 53 | 0 | 1 | 0 |
| algebraic-sofia/soda | Lean | 22 | 0 | 0 | 0 |
| meoowers/ash | Lean | 9 | 0 | 0 | 0 |
| RemyDegenne/gaussian | Lean | 3 | 0 | 0 | 0 |
| lftcm2023/lftcm2023 | LeanDockerfile | 3 | 0 | 4 | 0 |
| leanprover/lean4-cli | Lean | 44 | 0 | 8 | 0 |
| blanchette/logical_verification_2023 | Lean | 17 | 0 | 5 | 0 |
| tyler-justice/sotsuken | Lean | 1 | 0 | 5 | 0 |