全部标签
目录标签

#lean

公开记录中带有此标签的全部仓库——标签来自其 GitHub 主题或软件包注册表发布的关键词。健康度量遵循与记录其余部分相同的版本化方法论。

15 条记录
标签为“lean”按健康指数排序
crates.io
92优秀健康指数
google/zerocopy
Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.
Rust★ 2,529↓ 72.6M/月2026年8月4日
Apache-2.02026年8月4日 · 指标 2.10.0
npm
90优秀健康指数
leanprover/vscode-lean4
VS Code extension for the Lean 4 programming language and theorem prover
TypeScript★ 299↓ 13.1K/月2026年7月29日
Apache-2.02026年7月29日 · 指标 2.10.0
—
88优秀健康指数
leanprover/cslib
The Lean Computer Science Library (CSLib)
Lean★ 6262026年7月19日
Apache-2.02026年7月19日 · 指标 2.10.0
—
80优秀健康指数
leanprover-community/physlib
A project to digitalise results from physics into Lean.
Lean★ 7182026年9月4日
Apache-2.02026年9月4日 · 指标 2.10.0
—
78良好健康指数
leanprover-community/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
Lean★ 4062026年7月17日
Apache-2.02026年7月17日 · 指标 2.10.0
—
78良好健康指数
leanprover/std4
The "batteries included" extended library for the Lean programming language and theorem prover
Lean★ 4072026年7月18日
Apache-2.02026年7月18日 · 指标 2.10.0
npm
77良好健康指数
leanprover-community/proofwidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
Lean · TypeScript★ 216↓ 13/月2026年7月17日
Apache-2.02026年7月17日 · 指标 2.10.0
Packagist
69良好健康指数
raphaelstolt/lean-package-validator
A utility tool that validates or prepares a project/micro-package for lean releases.
PHP★ 18↓ 2,035/月2026年8月21日
MIT2026年8月21日 · 指标 2.10.0
PyPI
67良好健康指数
AxiomMath/axiom-lean-engine
Lean evaluation and metaprogramming utilities for provers.
Python★ 137↓ 5,215/月2026年7月19日
MIT2026年7月19日 · 指标 2.10.0
—
62中等健康指数
leanprover/lean4-cli
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
Lean★ 1132026年7月17日
MIT2026年7月17日 · 指标 2.10.0
npm
62中等健康指数
midspiral/LemmaScript
verification toolchain for TypeScript (Tech Preview)
TypeScript★ 72↓ 4,607/月2026年7月25日
MIT2026年7月25日 · 指标 2.10.0
—
60中等健康指数
lean-dojo/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
C++★ 1,3072026年8月4日
MIT2026年8月4日 · 指标 2.10.0
Go
57中等健康指数
farazhassan/gantry
A tiny testable, Go-native agent runtime for teams that want control, conformance, and no framework lock-ins.
Go★ 12026年7月18日
MIT2026年7月18日 · 指标 2.10.0
npm
50中等健康指数
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/月2026年7月15日
MIT2026年7月15日 · 指标 2.10.0
—
19危急健康指数
leanprover/lean3
Lean Theorem Prover
C++ · Lean★ 2,1552026年7月19日
Apache-2.02026年7月19日 · 指标 2.10.0