Lean Theorem Prover

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.

Lean mathematical components library

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

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

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

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

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.

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

HoTT in Lean 3

OpenWrt Stable 1907 with lean's package

A practical guide for Sociocracy 3.0.

Parameter Optimization for Lean Algorithms

Formally verified implementation of Alive in Lean

Teamwork made easy

Extract small increments from large changes

Erdiko framework core components

Ghost Theme

SSR 科学上网软件

A Trello clone based on PHP using Laravel 4.2, knockout and twitter bootstrap

R7800 Build OpenWrt using GitHub Actions | 使用 GitHub Actions 云编译 R7800 OpenWrt

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

A hub of blog posts, papers and discussion around Agile theory and practices for software developers

super tiny implementation of higher-order logic proof assistant in lean

IRC-bot written in Lean (https://leanprover.github.io/)

Two-Level Type Theory