Усі теги
Тег каталогу

#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/міс4 серп. 2026 р.
Apache-2.04 серп. 2026 р. · метрики 2.10.0
npm
90Відміннийіндекс здоров'я
leanprover/vscode-lean4
VS Code extension for the Lean 4 programming language and theorem prover
TypeScript★ 299↓ 13.1K/міс29 лип. 2026 р.
Apache-2.029 лип. 2026 р. · метрики 2.10.0
—
88Відміннийіндекс здоров'я
leanprover/cslib
The Lean Computer Science Library (CSLib)
Lean★ 62619 лип. 2026 р.
Apache-2.019 лип. 2026 р. · метрики 2.10.0
—
80Відміннийіндекс здоров'я
leanprover-community/physlib
A project to digitalise results from physics into Lean.
Lean★ 7184 вер. 2026 р.
Apache-2.04 вер. 2026 р. · метрики 2.10.0
—
78Добрийіндекс здоров'я
leanprover-community/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
Lean★ 40617 лип. 2026 р.
Apache-2.017 лип. 2026 р. · метрики 2.10.0
—
78Добрийіндекс здоров'я
leanprover/std4
The "batteries included" extended library for the Lean programming language and theorem prover
Lean★ 40718 лип. 2026 р.
Apache-2.018 лип. 2026 р. · метрики 2.10.0
npm
77Добрийіндекс здоров'я
leanprover-community/proofwidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
Lean · TypeScript★ 216↓ 13/міс17 лип. 2026 р.
Apache-2.017 лип. 2026 р. · метрики 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/міс21 серп. 2026 р.
MIT21 серп. 2026 р. · метрики 2.10.0
PyPI
67Добрийіндекс здоров'я
AxiomMath/axiom-lean-engine
Lean evaluation and metaprogramming utilities for provers.
Python★ 137↓ 5 215/міс19 лип. 2026 р.
MIT19 лип. 2026 р. · метрики 2.10.0
—
62Помірнийіндекс здоров'я
leanprover/lean4-cli
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
Lean★ 11317 лип. 2026 р.
MIT17 лип. 2026 р. · метрики 2.10.0
npm
62Помірнийіндекс здоров'я
midspiral/LemmaScript
verification toolchain for TypeScript (Tech Preview)
TypeScript★ 72↓ 4 607/міс25 лип. 2026 р.
MIT25 лип. 2026 р. · метрики 2.10.0
—
60Помірнийіндекс здоров'я
lean-dojo/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
C++★ 1 3074 серп. 2026 р.
MIT4 серп. 2026 р. · метрики 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★ 118 лип. 2026 р.
MIT18 лип. 2026 р. · метрики 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/міс15 лип. 2026 р.
MIT15 лип. 2026 р. · метрики 2.10.0
—
19Критичнийіндекс здоров'я
leanprover/lean3
Lean Theorem Prover
C++ · Lean★ 2 15519 лип. 2026 р.
Apache-2.019 лип. 2026 р. · метрики 2.10.0