Leantime is a goals focused project management system for non-project ma...
Lean Theorem Prover
Lean 3's obsolete mathematical components library: please use mathlib4
Awesome List of resources on Agile Software Development.
Tool for data extraction and interacting with Lean programmatically.
What to Read to Learn More About DevOps
Bug-free machine learning on stochastic computation graphs
A lean framework stack for agile Web development based on Symfony and Vu...
LuCI design theme (Suitable for lede and OpenWrt)
neovim support for the Lean theorem prover
The "batteries included" extended library for the Lean programming langu...
Maturity models for IT, Agile, DevOps, TOGAF, Six Sigma, P3M3, etc.
LLM verified with Monte Carlo Tree Search
A simple way to enhance your mailto links with a convenient user interface.