lean

Lean Theorem Prover

Lean 4 programming language and theorem prover

Lean mathematical components library

Awesome List of resources on Agile Software Development.

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

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

HoTT in Lean 3

OpenWrt Stable 1907 with lean's package

SSR 科学上网软件

A practical guide for Sociocracy 3.0.

Parameter Optimization for Lean Algorithms

Formally verified implementation of Alive in Lean

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

Teamwork made easy

Theorem Proving in Lean 4

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

Extract small increments from large changes

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