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.

Bug-free machine learning on stochastic computation graphs

What to Read to Learn More About DevOps

Lean mathematical components library

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.

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

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

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.

Formally verified implementation of Alive in Lean

Parameter Optimization for Lean Algorithms

Teamwork made easy

Extract small increments from large changes

Erdiko framework core components

Ghost Theme

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

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

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

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

the core of the seagull framework

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

Two-Level Type Theory