crates.io
google/zerocopy
Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.
Apache-2.016 вер. 2026 р. · метрики 2.10.0
Усі теги
Тег каталогу
#lean
Усі репозиторії публічного реєстру з цим тегом — із тем GitHub або ключових слів, які публікують їхні реєстри пакетів. Здоров'я вимірюється за тією ж версіонованою методологією, що й решта реєстру.
18 записів
—
leanprover/lean4
Lean 4 programming language and theorem prover
Apache-2.021 вер. 2026 р. · метрики 2.10.0
—
leanprover/cslib
The Lean Computer Science Library (CSLib)
Apache-2.011 вер. 2026 р. · метрики 2.10.0
npm
leanprover/vscode-lean4
VS Code extension for the Lean 4 programming language and theorem prover
Apache-2.014 вер. 2026 р. · метрики 2.10.0
—
Verified-zkEVM/ArkLib
Formally Verified Arguments of Knowledge in Lean
Apache-2.019 жовт. 2026 р. · метрики 2.10.0
—
leanprover-community/physlib
A project to digitalise results from physics into Lean.
Apache-2.021 жовт. 2026 р. · метрики 2.10.0
—
leanprover-community/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
Apache-2.011 вер. 2026 р. · метрики 2.10.0
npm
leanprover-community/ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
Apache-2.09 вер. 2026 р. · метрики 2.10.0
PyPI
AxiomMath/axiom-lean-engine
Lean evaluation and metaprogramming utilities for provers.
MIT11 вер. 2026 р. · метрики 2.10.0
PyPI
eic/EpsilonEridaniWorker
`epsiloneridani` keeps the EpsilonEridani Lean library moving, using a "bring your own agent" approach
Apache-2.010 жовт. 2026 р. · метрики 2.10.0
Packagist
raphaelstolt/lean-package-validator
A library and CLI for validating and managing package release contents in lean distribution archives.
MIT20 жовт. 2026 р. · метрики 2.10.0
Go · PyPI
farazhassan/gantry
A tiny testable, self hosted, provider neutral agent runtime for teams that want control, conformance, and no framework lock-ins.
MIT11 вер. 2026 р. · метрики 2.10.0
—
lean-dojo/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
MIT16 вер. 2026 р. · метрики 2.10.0
npm
midspiral/LemmaScript
verification toolchain for TypeScript (Tech Preview)
MIT13 вер. 2026 р. · метрики 2.10.0
—
leanprover/lean4-cli
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
MIT10 вер. 2026 р. · метрики 2.10.0
PyPI
jtraverso/certo-math
Between having a mathematical idea and having a proof of it there is a lot of work that is not proving: find the object, break the false claims, measure what survives, reduce it to what it really is, assemble the rest. certo does that work, and every step returns a certificate anyone can re-check without trusting it. CLI + MCP.
MIT9 жовт. 2026 р. · метрики 2.10.0
npm
iyulab/formulab
TypeScript library of 174 research-backed industrial engineering formulas across 14 domains — quality, metallurgy, logistics, safety, machining, and more — with zero dependencies.
MIT8 вер. 2026 р. · метрики 2.10.0
—
leanprover/lean3
Lean Theorem Prover
Apache-2.011 вер. 2026 р. · метрики 2.10.0