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.

9 Einträge
Getaggt als „lean“Geordnet nach Gesundheitsindex
—
74GutGesundheitsindex
leanprover/cslib
The Lean Computer Science Library (CSLib)
Lean★ 62619. Juli 2026
Apache-2.019. Juli 2026 · Metriken 1.13.0
—
68MittelGesundheitsindex
leanprover-community/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
Lean★ 40617. Juli 2026
Apache-2.017. Juli 2026 · Metriken 1.13.0
—
68MittelGesundheitsindex
leanprover/std4
The "batteries included" extended library for the Lean programming language and theorem prover
Lean★ 40718. Juli 2026
Apache-2.018. Juli 2026 · Metriken 1.13.0
npm
64MittelGesundheitsindex
leanprover-community/proofwidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
Lean · TypeScript★ 216↓ 13/Monat17. Juli 2026
Apache-2.017. Juli 2026 · Metriken 1.13.0
PyPI
60MittelGesundheitsindex
AxiomMath/axiom-lean-engine
Lean evaluation and metaprogramming utilities for provers.
Python★ 137↓ 5.215/Monat19. Juli 2026
MIT19. Juli 2026 · Metriken 1.13.0
—
59MittelGesundheitsindex
leanprover/lean4-cli
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
Lean★ 11317. Juli 2026
MIT17. Juli 2026 · Metriken 1.13.0
Go
55MittelGesundheitsindex
farazhassan/gantry
A tiny testable, Go-native agent runtime for teams that want control, conformance, and no framework lock-ins.
Go★ 118. Juli 2026
MIT18. Juli 2026 · Metriken 1.13.0
npm
49GefährdetGesundheitsindex
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/Monat15. Juli 2026
MIT15. Juli 2026 · Metriken 1.13.0
—
19KritischGesundheitsindex
leanprover/lean3
Lean Theorem Prover
C++ · Lean★ 2.15519. Juli 2026
Apache-2.019. Juli 2026 · Metriken 1.13.0