Lean

Lean Theorem Prover

Lean 4 programming language and theorem prover

Lean mathematical components library

Leantime is a lean project management system for innovators. Designed to help you manage your projects from ideation to delivery.

Awesome List of resources on Agile Software Development.

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 Vuetify

一键多编译固件

GitHub Action 学习实例 - 自动编译 padavan 和 openWrt

A simple way to enhance your mailto links with a convenient user interface.

Lista de leituras recomendadas à todas as pessoas que desejam trilhar uma carreira de Desenvolvimento, tenham experiência na área ou não. Também é abordado livros de soft skill na estante e temas complementares e pertinentes a profissão. Ex: design thinking, psicologia comportamental, etc.

Maturity models for IT, Agile, DevOps, TOGAF, Six Sigma, P3M3, etc.

Use Github Actions to automatically compile Lean's Modified Lede source for K2P

https://bamtech.gitbooks.io/dev-standards/

neovim support for the Lean theorem prover

HoTT in Lean 3

SSR 科学上网软件

OpenWrt Stable 1907 with lean's package

A practical guide for Sociocracy 3.0.

Parameter Optimization for Lean Algorithms

Theorem Proving in Lean 4

四个主流代码x86固件编译

Formally verified implementation of Alive in Lean

Documentation website for Samelogic Platform, APIs, and SDKs

R7800 Build OpenWrt using GitHub Actions | 使用 GitHub Actions 云编译 R7800 OpenWrt 每天编译更新固件

A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.

A lean product design process in markdown that enables cross-functional teams to take an idea from napkin to scale by prioritizing learnings to produce customer-centered solutions.

A work-in-progress formalization of Geometric Algebra in the Lean formal proof verification system.