There are 24 repositories under lean topic.
Lean Theorem Prover
Lean 3's obsolete mathematical components library: please use mathlib4
Awesome List of resources on Agile Software Development.
LLMs as Copilots for Theorem Proving in Lean
What to Read to Learn More About DevOps
GitHub Action 学习实例 - 自动编译 padavan 和 openWrt
LuCI design theme (Suitable for lede and OpenWrt)
常用 OpenWrt 软件包合集,定时自动更新,适用于 Lean 源码
Maturity models for IT, Agile, DevOps, TOGAF, Six Sigma, P3M3, etc.
LLM verified with Monte Carlo Tree Search
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.
战略管理越扎实,理想生活越可达。配备这组「人生战略管理帮手」,一起有思路有行动、灵活创造想要的生活 😋
A verification toolchain for Rust programs
Use Github Actions to automatically compile Lean's Modified Lede source for K2P
ChatGPT plugin for theorem proving in Lean
Helper toolkit for creating your own Lean 4 UserWidgets
A practical guide for Sociocracy 3.0.
Parameter Optimization for Lean Algorithms
LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.