crates.io
google/zerocopy
Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.
Apache-2.04. Aug. 2026 · Metriken 2.10.0
Alle Tags
Katalog-Tag
#lean
Alle Repositories im öffentlichen Register, die dieses Tag tragen — aus ihren GitHub-Topics oder den von ihren Paket-Registries veröffentlichten Schlagwörtern. Die Gesundheit wird nach derselben versionierten Methodik gemessen wie im übrigen Register.
15 Einträge
npm
leanprover/vscode-lean4
VS Code extension for the Lean 4 programming language and theorem prover
Apache-2.029. Juli 2026 · Metriken 2.10.0
—
leanprover/cslib
The Lean Computer Science Library (CSLib)
Apache-2.019. Juli 2026 · Metriken 2.10.0
—
leanprover-community/physlib
A project to digitalise results from physics into Lean.
Apache-2.04. Sept. 2026 · Metriken 2.10.0
—
leanprover-community/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
Apache-2.017. Juli 2026 · Metriken 2.10.0
—
leanprover/std4
The "batteries included" extended library for the Lean programming language and theorem prover
Apache-2.018. Juli 2026 · Metriken 2.10.0
npm
leanprover-community/proofwidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
Apache-2.017. Juli 2026 · Metriken 2.10.0
Packagist
raphaelstolt/lean-package-validator
A utility tool that validates or prepares a project/micro-package for lean releases.
MIT21. Aug. 2026 · Metriken 2.10.0
PyPI
AxiomMath/axiom-lean-engine
Lean evaluation and metaprogramming utilities for provers.
MIT19. Juli 2026 · Metriken 2.10.0
—
leanprover/lean4-cli
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
MIT17. Juli 2026 · Metriken 2.10.0
npm
midspiral/LemmaScript
verification toolchain for TypeScript (Tech Preview)
MIT25. Juli 2026 · Metriken 2.10.0
—
lean-dojo/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
MIT4. Aug. 2026 · Metriken 2.10.0
Go
farazhassan/gantry
A tiny testable, Go-native agent runtime for teams that want control, conformance, and no framework lock-ins.
MIT18. Juli 2026 · Metriken 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.
MIT15. Juli 2026 · Metriken 2.10.0
—
leanprover/lean3
Lean Theorem Prover
Apache-2.019. Juli 2026 · Metriken 2.10.0