—74良好健康指数leanprover/cslibThe Lean Computer Science Library (CSLib)Lean★ 6262026年7月19日Apache-2.02026年7月19日 · 指标 1.13.0
—68中等健康指数leanprover-community/batteriesThe "batteries included" extended library for the Lean programming language and theorem proverLean★ 4062026年7月17日Apache-2.02026年7月17日 · 指标 1.13.0
—68中等健康指数leanprover/std4The "batteries included" extended library for the Lean programming language and theorem proverLean★ 4072026年7月18日Apache-2.02026年7月18日 · 指标 1.13.0
npm64中等健康指数leanprover-community/proofwidgets4Helper toolkit for creating your own Lean 4 UserWidgetsLean · TypeScript★ 216↓ 13/月2026年7月17日Apache-2.02026年7月17日 · 指标 1.13.0
PyPI60中等健康指数AxiomMath/axiom-lean-engineLean evaluation and metaprogramming utilities for provers.Python★ 137↓ 5,215/月2026年7月19日MIT2026年7月19日 · 指标 1.13.0
—59中等健康指数leanprover/lean4-cliA Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.Lean★ 1132026年7月17日MIT2026年7月17日 · 指标 1.13.0
Go55中等健康指数farazhassan/gantryA tiny testable, Go-native agent runtime for teams that want control, conformance, and no framework lock-ins.Go★ 12026年7月18日MIT2026年7月18日 · 指标 1.13.0
npm49存在风险健康指数iyulab/formulabTypeScript 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/月2026年7月15日MIT2026年7月15日 · 指标 1.13.0
—19危急健康指数leanprover/lean3Lean Theorem ProverC++ · Lean★ 2,1552026年7月19日Apache-2.02026年7月19日 · 指标 1.13.0