lean

There are 39 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 8588
leanprover / lean4
Lean 4 programming language and theorem prover
lean lean4
Language:Lean 6689
leanprover / lean3
Lean Theorem Prover
dependent-types lean programming-language theorem-proving type-theory verification
Language:C++ 2152
leanprover-community / mathlib3
Lean 3's obsolete mathematical components library: please use mathlib4
lean theorem-proving formal-methods formal-proofs formal-mathematics proof-automation
Language:Lean 1668
lorabv / awesome-agile
Awesome List of resources on Agile Software Development.
a-b-testing agile agile-architecture agile-development agile-manifesto awesome awesome-list backlog design-thinking kanban lean okr pair-programming product-management retrospectives scrum scrum-master tdd technical-debt user-stories
1440
lean-dojo / LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
formal-mathematics lean lean4 llm llm-inference machine-learning theorem-proving
Language:C++ 1184
openwrt_Build
kenzok8 / openwrt_Build
一键多编译固件
immortalwrt lean lienol openwrt
Language:Shell 925
lean-dojo / LeanDojo
Tool for data extraction and interacting with Lean programmatically.
lean lean4 llm machine-learning theorem-proving
Language:Python 721
Crispher / MathlibExplorer
Visualizing the network of math theories.
lean math mathlib visualization
Language:Python 586
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
456
AeneasVerif / aeneas
A verification toolchain for Rust programs
compiler coq deductive-reasoning formal-methods formal-verification fstar hol4 lean ocaml program-verification proofs rust rust-lang
Language:OCaml 436
ezelikman / parsel
Code for Parsel 🐍 - generate complex programs with language models
ai lean machine-learning ml program-synthesis python robotics
Language:Python 433
Julian / lean.nvim
Neovim support for the Lean theorem prover
leanprover neovim neovim-plugin lean nvim-treesitter tree-sitter nvim lean4
Language:Lua 404
dselsam / certigrad
Bug-free machine learning on stochastic computation graphs
lean machine-learning theorem-proving verification
Language:Lean 396
HEPLean / PhysLean
A project to digitalise results from physics into Lean.
lean physics theorem-proving
Language:Lean 354
0x676e67 / luci-theme-design
LuCI design theme (Suitable for lede)
luci theme design openwrt lean lede webapp istore linkease
Language:CSS 351
leanprover-community / batteries
The "batteries included" extended library for the Lean programming language and theorem prover
lean4 lean
Language:Lean 338
lean-dojo / ReProver
Retrieval-Augmented Theorem Provers for Lean
lean lean4 llm machine-learning theorem-proving
Language:Python 302
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 295
symlex / symlex
A lean framework stack for agile Web development based on Symfony and Vuetify
agile full-stack lean micro-framework php php-framework rest symfony vuetify
Language:PHP 293
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 288
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 verification
Language:Jupyter Notebook 282
joelparkerhenderson / maturity-models
Maturity models for IT, Agile, DevOps, TOGAF, Six Sigma, P3M3, etc.
agile devops enterprise iac it lean maturity-models six-sigma sysadmin
244
leanprover / vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant
vscode lean
Language:TypeScript 236
leanprover / theorem_proving_in_lean4
Theorem Proving in Lean 4
lean lean4
Language:Lean 206
mariordev / mailtoui
A simple way to enhance your mailto links with a convenient user interface.
interface javascript lean mailto no-dependencies ui vanilla-javascript vanilla-js
Language:JavaScript 192
eGenix / egenix-pyrun
eGenix PyRun - Your friendly, lean, open source Python runtime
deployment distribution lean python runtime single-file
Language:Python 182
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
164
leanprover-community / ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
lean lean4 visualization
Language:Lean 158
leanprover / cslib
A Lean library for Computer Science
computer-science lean
Language:Lean 148
verse-lab / veil
A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development snapshots. Submit issues and PRs here.
lean proof-assistant smt verification
Language:Lean 144
wellecks / llmstep
llmstep: [L]LM proofstep suggestions in Lean 4.
lean lean4 llm theorem-proving
Language:Python 144
lean-by-example
lean-ja / lean-by-example
コード例で学ぶ Lean 言語
lean lean4 mdbook functional-programming theorem-proving reference
Language:Lean 124
lean-dojo / LeanDojoChatGPT
ChatGPT plugin for theorem proving in Lean
chatgpt chatgpt-plugin large-language-models lean machine-learning lean4 theorem-proving
Language:Python 123
eric-wieser / lean-matrix-cookbook
The matrix cookbook, proved in the Lean theorem prover
formal-mathematics lean lean4 matrices
Language:Lean 121
sunnylife42 / docs
战略管理越扎实，理想生活越可达。配备这组「人生战略管理帮手」，一起有思路有行动，灵活兼顾「爱与成就」 😋
life self-management flourish plan strategy lean triz
Language:MDX 121