Todas las etiquetas
Etiqueta del catálogo

#lean

Todos los repositorios del registro público que llevan esta etiqueta, procedente de sus topics de GitHub o de las palabras clave que publican sus registros de paquetes. La salud se mide con la misma metodología versionada que el resto del registro.

9 registros
Con la etiqueta «lean»Ordenado por índice de salud
—
74Buenoíndice de salud
leanprover/cslib
The Lean Computer Science Library (CSLib)
Lean★ 62619 jul 2026
Apache-2.019 jul 2026 · métricas 1.13.0
—
68Moderadoíndice de salud
leanprover-community/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
Lean★ 40617 jul 2026
Apache-2.017 jul 2026 · métricas 1.13.0
—
68Moderadoíndice de salud
leanprover/std4
The "batteries included" extended library for the Lean programming language and theorem prover
Lean★ 40718 jul 2026
Apache-2.018 jul 2026 · métricas 1.13.0
npm
64Moderadoíndice de salud
leanprover-community/proofwidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
Lean · TypeScript★ 216↓ 13/mes17 jul 2026
Apache-2.017 jul 2026 · métricas 1.13.0
PyPI
60Moderadoíndice de salud
AxiomMath/axiom-lean-engine
Lean evaluation and metaprogramming utilities for provers.
Python★ 137↓ 5215/mes19 jul 2026
MIT19 jul 2026 · métricas 1.13.0
—
59Moderadoíndice de salud
leanprover/lean4-cli
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
Lean★ 11317 jul 2026
MIT17 jul 2026 · métricas 1.13.0
Go
55Moderadoíndice de salud
farazhassan/gantry
A tiny testable, Go-native agent runtime for teams that want control, conformance, and no framework lock-ins.
Go★ 118 jul 2026
MIT18 jul 2026 · métricas 1.13.0
npm
49En riesgoíndice de salud
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↓ 2186/mes15 jul 2026
MIT15 jul 2026 · métricas 1.13.0
—
19Críticoíndice de salud
leanprover/lean3
Lean Theorem Prover
C++ · Lean★ 215519 jul 2026
Apache-2.019 jul 2026 · métricas 1.13.0