lean
There are 361 repositories under lean topic.
Leantime/leantime
Leantime is a goals focused project management system for non-project managers. Building with ADHD, Autism, and dyslexia in mind.
leanprover/lean4
Lean 4 programming language and theorem prover
leanprover/lean3
Lean Theorem Prover
leanprover-community/mathlib
Lean 3's obsolete mathematical components library: please use mathlib4
lorabv/awesome-agile
Awesome List of resources on Agile Software Development.
lean-dojo/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
kenzok8/openwrt_Build
一键多编译固件
lean-dojo/LeanDojo
Tool for data extraction and interacting with Lean programmatically.
chris-short/DevOps-README.md
What to Read to Learn More About DevOps
dselsam/certigrad
Bug-free machine learning on stochastic computation graphs
ezelikman/parsel
Code for Parsel 🐍 - generate complex programs with language models
symlex/symlex
A lean framework stack for agile Web development based on Symfony and Vuetify
0x676e67/luci-theme-design
LuCI design theme (Suitable for lede and OpenWrt)
huazhuangnan/actions-build-padavan-openwrt
GitHub Action 学习实例 - 自动编译 padavan 和 openWrt
haiibo/openwrt-packages
常用 OpenWrt 软件包合集,定时自动更新,适用于 Lean 源码
Julian/lean.nvim
neovim support for the Lean theorem prover
leanprover-community/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
joelparkerhenderson/maturity-models
Maturity models for IT, Agile, DevOps, TOGAF, Six Sigma, P3M3, etc.
namin/llm-verified-with-monte-carlo-tree-search
LLM verified with Monte Carlo Tree Search
mariordev/mailtoui
A simple way to enhance your mailto links with a convenient user interface.
lean-dojo/ReProver
Retrieval-Augmented Theorem Provers for Lean
devmozao/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 complementares e pertinentes a profissão. Ex: design thinking, psicologia comportamental, etc.
AeneasVerif/aeneas
A verification toolchain for Rust programs
leanprover/theorem_proving_in_lean4
Theorem Proving in Lean 4
leanprover/vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant
sunnylife42/docs
战略管理越扎实,理想生活越可达。配备这组「人生战略管理帮手」,一起有思路有行动,灵活兼顾「爱与成就」 😋
lean-dojo/LeanDojoChatGPT
ChatGPT plugin for theorem proving in Lean
wellecks/llmstep
llmstep: [L]LM proofstep suggestions in Lean 4.
DreamWalkerXZ/Actions-OpenWrt-K2P
Use Github Actions to automatically compile Lean's Modified Lede source for K2P
leanprover-community/ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
bamlab/dev-standards
https://bamtech.gitbooks.io/dev-standards/
OpenWrt-Actions/helloworld
SSR 科学上网软件
gebner/hott3
HoTT in Lean 3
S3-working-group/s3-practical-guide
A practical guide for Sociocracy 3.0.
jameschch/LeanParameterOptimization
Parameter Optimization for Lean Algorithms
leanprover/LeanInk
LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.