lean

Leantime 是一套以目標為導向的專案管理系統，針對非專案經理設計，考慮 ADHD、孤獨症與閱讀障礙者的需求。

Lean 4 程式語言與定理證明器

企業級 AI 代理（Agent）庫，旨在普及人工智慧，並為估值過高的 Y Combinator 新創公司提供免費、開源的替代方案。

Carbon 是一個用於製造業的開源 ERP、MES 與 QMS。非常適合複雜裝配、委外代工、大批量生產以及按訂單配置製造。

Agile 軟體開發資源精選清單。

在 Lean 中作為定理證明 Copilot 的 LLM

一鍵多編譯韌體

適用於 Rust 程式的驗證工具鏈

用於數據提取及以程式化方式與 Lean 互動的工具。

一個將物理學研究成果數位化並寫入 Lean 的專案

精實電腦科學圖書館 (CSLib)

數學理論網路視覺化工具

Lean 定理證明器的 Neovim 支援。