This is stars and forks stats for /leanprover/lean4-samples repository. As of 26 Apr, 2024 this repository has 61 stars and 19 forks.
lean4-samples Code samples for Lean 4. These samples are designed to work inside Visual Studio Code with the Lean4 "extension". The extension will install the Lean4 compiler and language service for you so it is easy to setup - see the Quick Start for more information. Currently each folder must be opened separately in Visual Studio Code for that sample to compile correctly since each folder contains a separate Lean Package that is buildable using lake build. Lake is the build system that comes...
lean4-samples Code samples for Lean 4. These samples are designed to work inside Visual Studio Code with the Lean4 "extension". The extension will install the Lean4 compiler and language service for you so it is easy to setup - see the Quick Start for more information. Currently each folder must be opened separately in Visual Studio Code for that sample to compile correctly since each folder contains a separate Lean Package that is buildable using lake build. Lake is the build system that comes...
| repo | techs | stars | weekly | forks | weekly |
|---|---|---|---|---|---|
| lifting-bits/anvill | LLVMC++Python | 302 | 0 | 37 | 0 |
| Ewenwan/Ros | MakefileC++CMake | 904 | 0 | 350 | 0 |
| smarty-team/smarty-admin | VueJavaScriptTypeScript | 63 | 0 | 108 | 0 |
| zuramai/refactoring | VueTypeScript | 93 | 0 | 15 | 0 |
| ktansai/COVID-19-ExposeChecker | VueHTMLJavaScript | 94 | 0 | 10 | 0 |
| boanjo/poseidon | HTMLPythonC++ | 60 | 0 | 2 | 0 |
| TeamNewPipe/NewPipeExtractor | JavaJavaScript | 988 | 0 | 358 | 0 |
| adrianhajdin/project_hoobank | JavaScriptCSSHTML | 2.1k | +8 | 750 | +4 |
| davidbombal/express-server-basic | JavaScriptPython | 157 | 0 | 80 | 0 |
| is-a-dev/register | JavaScriptShellPython | 2.3k | 0 | 4.9k | 0 |