Lean topic
Lean is a functional programming language that makes it easy to write correct and maintainable code. You can also use Lean as an interactive theorem prover. Lean programming primarily involves defining types and functions. This allows your focus to remain on the problem domain and manipulating its data, rather than the details of programming.
LeanParameterOptimization
Parameter Optimization for Lean Algorithms
OpenWrtAction
Openwrt automatic compilation project of github action, Support x86 R2S R2C R4S R5S Pi4_Model_B etc.
DevOps-README.md
What to Read to Learn More About DevOps
awesome-agile
Awesome List of resources on Agile Software Development.
estante
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 comp...
maturity-models
Maturity models for IT, Agile, DevOps, TOGAF, Six Sigma, P3M3, etc.
leantime
Leantime is a goals focused project management system for non-project managers. Building with ADHD, Autism, and dyslexia in mind.
symlex
A lean framework stack for agile Web development based on Symfony and Vuetify
lean3
Lean Theorem Prover
lean4
Lean 4 programming language and theorem prover