lean

There are 26 repositories under lean topic.

leantime
Leantime / leantime
Leantime is a goals focused project management system for non-project managers. Building with ADHD, Autism, and dyslexia in mind.
agile asana calendar clickup gantt hacktoberfest jira kanban lean leantime notion php project-management projects retrospective scrum sql strategy timesheets trello
Language:PHP 4087
leanprover / lean4
Lean 4 programming language and theorem prover
lean lean4
Language:Lean 3802
leanprover / lean3
Lean Theorem Prover
programming-language theorem-proving type-theory verification dependent-types lean
Language:C++ 2138
leanprover-community / mathlib
Lean 3's obsolete mathematical components library: please use mathlib4
lean theorem-proving formal-methods formal-proofs formal-mathematics proof-automation
Language:Lean 1647
lorabv / awesome-agile
Awesome List of resources on Agile Software Development.
awesome-list awesome agile agile-development agile-manifesto agile-architecture retrospectives kanban scrum lean pair-programming technical-debt user-stories backlog scrum-master a-b-testing design-thinking tdd okr product-management
1295
lean-dojo / LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
lean llm-inference machine-learning theorem-proving lean4 formal-mathematics
Language:C++ 810
openwrt_Build
kenzok8 / openwrt_Build
一键多编译固件
openwrt lienol lean immortalwrt
Language:Shell 705
lean-dojo / LeanDojo
Tool for data extraction and interacting with Lean programmatically.
lean lean4 machine-learning theorem-proving
Language:Python 453
chris-short / DevOps-README.md
What to Read to Learn More About DevOps
devops release continuous-delivery continuous-integration culture stress blame sre site-reliability-engineering lean failure systems systems-engineering leader devops-journey cloud-native cloud continuous-deployment monitoring systems-administration
450
dselsam / certigrad
Bug-free machine learning on stochastic computation graphs
machine-learning theorem-proving lean verification
Language:Lean 385
ezelikman / parsel
Code for Parsel 🐍 - generate complex programs with language models
ai lean machine-learning ml program-synthesis python robotics
Language:Python 375
symlex / symlex
A lean framework stack for agile Web development based on Symfony and Vuetify
symfony rest micro-framework php full-stack agile lean vuetify php-framework
Language:PHP 297
0x676e67 / luci-theme-design
LuCI design theme (Suitable for lede and OpenWrt)
luci theme design openwrt lean lede webapp istore linkease
Language:CSS 282
huazhuangnan / actions-build-padavan-openwrt
GitHub Action 学习实例 - 自动编译 padavan 和 openWrt
actions openwrt padavan github-actions actions-openwrt actions-padavan openclash adguardhome padavan-openwrt lienol coolsnowwolf openwrt-actions lean openappfilter
Language:C 277
haiibo / openwrt-packages
常用 OpenWrt 软件包合集，定时自动更新，适用于 Lean 源码
lean lede openwrt openwrt-packages luci-app-adguardhome luci-app-wrtbwmon luci-app-dockerman luci-app luci-theme luci-app-eqos luci-app-netdata luci-app-onliner luci-app-ssr-plus luci-app-openclash luci-app-passwall luci-app-bypass luci-app-ddnsto luci-app-store luci-theme-argon luci-theme-opentomcat
Language:JavaScript 241
Julian / lean.nvim
neovim support for the Lean theorem prover
leanprover neovim neovim-plugin lean nvim-treesitter tree-sitter nvim lean4
Language:Lua 205
leanprover-community / batteries
The "batteries included" extended library for the Lean programming language and theorem prover
lean4 lean
Language:Lean 201
joelparkerhenderson / maturity-models
Maturity models for IT, Agile, DevOps, TOGAF, Six Sigma, P3M3, etc.
maturity-models agile devops iac sysadmin it enterprise lean six-sigma
198
namin / llm-verified-with-monte-carlo-tree-search
LLM verified with Monte Carlo Tree Search
ai dafny llm monte-carlo-tree-search coq lean synthesis
Language:Python 193
mariordev / mailtoui
A simple way to enhance your mailto links with a convenient user interface.
javascript mailto ui interface vanilla-javascript vanilla-js no-dependencies lean
Language:JavaScript 187
lean-dojo / ReProver
Retrieval-Augmented Theorem Provers for Lean
lean machine-learning theorem-proving
Language:Python 166
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.
livros desenvolvimento devops fullstack lean agile-development agile softskills
161
leanprover / theorem_proving_in_lean4
Theorem Proving in Lean 4
lean4 lean
Language:JavaScript 141
AeneasVerif / aeneas
A verification toolchain for Rust programs
compiler coq deductive-reasoning formal-methods formal-verification fstar hol4 lean ocaml proofs rust rust-lang program-verification
Language:OCaml 128
leanprover / vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant
vscode lean
Language:TypeScript 124
sunnylife42 / docs
战略管理越扎实，理想生活越可达。配备这组「人生战略管理帮手」，一起有思路有行动，灵活兼顾「爱与成就」 😋
life self-management flourish plan strategy lean triz
Language:MDX 117
lean-dojo / LeanDojoChatGPT
ChatGPT plugin for theorem proving in Lean
chatgpt chatgpt-plugin large-language-models lean machine-learning theorem
Language:Python 99
DreamWalkerXZ / Actions-OpenWrt-K2P
Use Github Actions to automatically compile Lean's Modified Lede source for K2P
actions-openwrt k2p openwrt openwrt-zh-cn router github-actions lede lean ssr-plus
Language:Shell 97
wellecks / llmstep
llmstep: [L]LM proofstep suggestions in Lean 4.
lean lean4 llm theorem-proving
Language:Python 93
bamlab / dev-standards
https://bamtech.gitbooks.io/dev-standards/
development standardization lean bam
Language:JavaScript 86
leanprover-community / ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
lean lean4 visualization
Language:Lean 86
OpenWrt-Actions / helloworld
SSR 科学上网软件
luci-app-ssr-plus lean ssr-plus openwrt-package helloword
Language:C 76
gebner / hott3
HoTT in Lean 3
hott lean
Language:Lean 72
S3-working-group / s3-practical-guide
A practical guide for Sociocracy 3.0.
sociocracy-30 sociocracy holacracy patterns organizations creative-commons s3 agile lean scrum
Language:HTML 67
jameschch / LeanParameterOptimization
Parameter Optimization for Lean Algorithms
lean optimization blazor sharpe-ratio csharp trading lean-algorithms
Language:C# 58
leanprover / LeanInk
LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
lean4 alectryon visualization lean interactive-theorem-proving
Language:Lean 56