All tags
Catalogue tag

#lean

Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.

9 records
Tagged “lean”Ranked by health index
74Goodhealth index
leanprover/cslib
The Lean Computer Science Library (CSLib)
Lean★ 626Jul 19, 2026
Apache-2.0Jul 19, 2026 · metrics 1.13.0
68Moderatehealth index
leanprover-community/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
Lean★ 406Jul 17, 2026
Apache-2.0Jul 17, 2026 · metrics 1.13.0
68Moderatehealth index
leanprover/std4
The "batteries included" extended library for the Lean programming language and theorem prover
Lean★ 407Jul 18, 2026
Apache-2.0Jul 18, 2026 · metrics 1.13.0
npm
64Moderatehealth index
leanprover-community/proofwidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
Lean · TypeScript★ 216↓ 13/moJul 17, 2026
Apache-2.0Jul 17, 2026 · metrics 1.13.0
PyPI
60Moderatehealth index
AxiomMath/axiom-lean-engine
Lean evaluation and metaprogramming utilities for provers.
Python★ 137↓ 5,215/moJul 19, 2026
MITJul 19, 2026 · metrics 1.13.0
59Moderatehealth index
leanprover/lean4-cli
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
Lean★ 113Jul 17, 2026
MITJul 17, 2026 · metrics 1.13.0
Go
55Moderatehealth index
farazhassan/gantry
A tiny testable, Go-native agent runtime for teams that want control, conformance, and no framework lock-ins.
Go★ 1Jul 18, 2026
MITJul 18, 2026 · metrics 1.13.0
npm
49At riskhealth index
iyulab/formulab
TypeScript library of 174 research-backed industrial engineering formulas across 14 domains — quality, metallurgy, logistics, safety, machining, and more — with zero dependencies.
TypeScript★ 0↓ 2,186/moJul 15, 2026
MITJul 15, 2026 · metrics 1.13.0
19Criticalhealth index
leanprover/lean3
Lean Theorem Prover
C++ · Lean★ 2,155Jul 19, 2026
Apache-2.0Jul 19, 2026 · metrics 1.13.0