This is stars and forks stats for /meoowers/melp repository. As of 11 May, 2024 this repository has 14 stars and 0 forks.
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| meoowers/ash | Lean | 9 | 0 | 0 | 0 |
| RemyDegenne/gaussian | Lean | 3 | 0 | 0 | 0 |
| lftcm2023/lftcm2023 | LeanDockerfile | 3 | 0 | 4 | 0 |
| jjdishere/EG | LeanTeX | 6 | +1 | 42 | 0 |
| lean-dojo/LeanInfer | LeanC++Shell | 27 | +2 | 1 | 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 |
| hhu-adam/NNG4 | LeanDockerfile | 24 | 0 | 10 | 0 |
| PatrickMassot/GlimpseOfLean | LeanOther | 23 | 0 | 10 | 0 |