This is stars and forks stats for /yatima-inc/YatimaStdLib.lean repository. As of 04 May, 2024 this repository has 6 stars and 5 forks.
YatimaStdLib.lean An auxiliary Std lib for Lean 4 that aims to support the development of other packages for Yatima Inc. Nix Nix is a declarative and deterministic package manager and build tool which ensures reproducibility. Developing Enable auto loading dependencies into the shell with direnv allow or manually with nix develop. Building Build with nix build . Tests Run tests with nix run .#test
YatimaStdLib.lean An auxiliary Std lib for Lean 4 that aims to support the development of other packages for Yatima Inc. Nix Nix is a declarative and deterministic package manager and build tool which ensures reproducibility. Developing Enable auto loading dependencies into the shell with direnv allow or manually with nix develop. Building Build with nix build . Tests Run tests with nix run .#test
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
kiddin9/openwrt-packages | CLuaShell | 1.2k | +18 | 478 | +3 |
nodejs/http-parser | CMakefilePython | 6.2k | 0 | 1.6k | 0 |
Gnucash/gnucash | CC++Scheme | 2.8k | +6 | 732 | +3 |
circleci/bond | Clojure | 124 | 0 | 30 | 0 |
mentat-collective/leva.cljs | ClojureEmacs Lisp | 42 | 0 | 3 | 0 |
nus-cs3281/2023 | CSS | 0 | 0 | 0 | 0 |
OpenClassrooms-Student-Center/7697016-Front-End.1 | CSSHTML | 18 | 0 | 266 | 0 |
juliocodes-sm/Reels | CSSHTMLJavaScript | 134 | 0 | 49 | 0 |
cloudacademy/static-website-example | CSSJavaScriptHTML | 62 | 0 | 597 | 0 |
aniketpanchal52648/RailGhateMe | EJSJavaScriptCSS | 2 | 0 | 5 | 0 |