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.

List Lean repositories

LeanParameterOptimization

58
Stars
21
Forks
Watchers

Parameter Optimization for Lean Algorithms

verified publisher icon jameschch

OpenWrtAction

47
Stars
48
Forks
Watchers

Openwrt automatic compilation project of github action, Support x86 R2S R2C R4S R5S Pi4_Model_B etc.

verified publisher icon smallprogram

DevOps-README.md

450
Stars
27
Forks
Watchers

What to Read to Learn More About DevOps

verified publisher icon chris-short

awesome-agile

1.3k
Stars
194
Forks
Watchers

Awesome List of resources on Agile Software Development.

verified publisher icon lorabv

estante

160
Stars
8
Forks
Watchers

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...

verified publisher icon devmozao

maturity-models

199
Stars
74
Forks
Watchers

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

verified publisher icon joelparkerhenderson

leantime

4.1k
Stars
552
Forks
Watchers

Leantime is a goals focused project management system for non-project managers. Building with ADHD, Autism, and dyslexia in mind.

verified publisher icon Leantime

symlex

297
Stars
20
Forks
Watchers

A lean framework stack for agile Web development based on Symfony and Vuetify

verified publisher icon symlex

lean3

2.1k
Stars
216
Forks
Watchers

Lean Theorem Prover

verified publisher icon leanprover

lean4

3.9k
Stars
327
Forks
Watchers

Lean 4 programming language and theorem prover

verified publisher icon leanprover