#lean (18 Repositories)
Ranked open-source repositories tagged with #lean, scored by pull request acceptance likelihood and maintainer engagement velocity.
33.5%
22.5h
18 repositories tagged #lean
Leantime/leantime
Leantime is a goals focused project management system for non-project managers. Building with ADHD, Autism, and dyslexia in mind.
AeneasVerif/aeneas
A verification toolchain for Rust programs
leanprover-community/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
crbnos/carbon
Open-source manufacturing ERP, MES and QMS. Quoting, MRP, inventory, shop floor, quality and lot/serial traceability on one Postgres schema, with a REST API and MCP server. Self-host or use Carbon Cloud.
leanprover/cslib
The Lean Computer Science Library (CSLib)
leanprover/lean4
Lean 4 programming language and theorem prover
Verified-zkEVM/ArkLib
Formally Verified Arguments of Knowledge in Lean
leanprover-community/physlib
A project to digitalise results from physics into Lean.
verse-lab/veil
A verifier for automated and interactive proofs about transition systems.
lean-dojo/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
PrimeFoldTools/Andon
A Lean quality system for AI-assisted work — every defect becomes a permanent countermeasure. Built by a manufacturing operator.
Julian/lean.nvim
Neovim support for the Lean theorem prover
leanprover-community/ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
0x676e67/luci-theme-design
LuCI design theme (Suitable for lede)
lorabv/awesome-agile
Awesome List of resources on Agile Software Development.
lean-dojo/ReProver
Retrieval-Augmented Theorem Provers for Lean
Crispher/MathlibExplorer
Visualizing the network of math theories.