This is stars and forks stats for /yatima-inc/Lurk.lean repository. As of 07 May, 2024 this repository has 6 stars and 2 forks.
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| yatima-inc/YatimaStdLib.lean | LeanCNix | 6 | 0 | 5 | 0 |
| brown-cs22/CS22-Lean-2023 | LeanDockerfile | 13 | 0 | 21 | 0 |
| risc0/risc0-lean4 | LeanRust | 31 | 0 | 2 | 0 |
| zhangir-azerbayev/ProofNet | LeanTeXPython | 63 | 0 | 12 | 0 |
| leanprover/lake | LeanShellOther | 95 | 0 | 20 | 0 |
| yatima-inc/yatima | Lean | 72 | 0 | 5 | 0 |
| leanprover-community/repl | LeanShell | 24 | 0 | 3 | 0 |
| JLimperg/aesop | LeanShell | 88 | +2 | 14 | 0 |
| EdAyers/ProofWidgets4 | LeanTypeScriptTeX | 56 | +1 | 10 | 0 |
| second-state/mcm | Lean | 0 | 0 | 0 | 0 |