Topic: lean Goto Github

👇 Here are 356 public repositories matching this topic...

0x676e67 / actions-openwrt
lean,Lean♂DHDAXCW Actions OpenWrt for Nanopi R5C/R4SE/X86
User: 0x676e67
lede nanopi openwrt lean luci r5c r4se r4s x86 ci action

0x676e67 / luci-theme-design
lean,LuCI design theme (Suitable for lede)
User: 0x676e67
luci theme design openwrt lean lede webapp istore linkease

aeneasverif / aeneas
lean,A verification toolchain for Rust programs
Organization: aeneasverif
compiler coq deductive-reasoning formal-methods formal-verification fstar hol4 lean ocaml proofs

bamlab / dev-standards
lean,https://bamtech.gitbooks.io/dev-standards/
Organization: bamlab
development standardization lean bam

bhgomes / lean-riemann-hypothesis
lean,Riemann Hypothesis in Lean
User: bhgomes
Home Page: https://reu.dimacs.rutgers.edu/~bg441/
lean lean-theorem-prover riemann-hypothesis mathlib

boltonbailey / formal-snarks-project
lean,A formal verification of Linear PCP SNARKs.
User: boltonbailey
snark lean mathlib

chris-short / devops-readme.md
lean,What to Read to Learn More About DevOps
User: chris-short
Home Page: https://devopsreadme.com/
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

crispher / mathlibexplorer
lean,Visualizing the network of math theories.
User: crispher
lean math mathlib visualization

devmozao / estante
lean,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.
User: devmozao
livros desenvolvimento devops fullstack lean agile-development agile softskills

dreamwalkerxz / actions-openwrt-k2p
lean,Use Github Actions to automatically compile Lean's Modified Lede source for K2P
User: dreamwalkerxz
Home Page: https://dreamwalkerxz.gitbook.io/k2p-docs/
actions-openwrt k2p openwrt openwrt-zh-cn router github-actions lede lean ssr-plus

dselsam / certigrad
lean,Bug-free machine learning on stochastic computation graphs
User: dselsam
machine-learning theorem-proving lean verification

eric-wieser / lean-matrix-cookbook
lean,The matrix cookbook, proved in the Lean theorem prover
User: eric-wieser
lean matrices formal-mathematics lean4

ezelikman / parsel
lean,Code for Parsel 🐍 - generate complex programs with language models
User: ezelikman
ai lean machine-learning ml program-synthesis python robotics

forked-from-1kasper / ground_zero
lean,Ground Zero: Lean 4 HoTT Library
User: forked-from-1kasper
math cubical-type-theory ctt homotopy-type-theory hott lean leanprover lean4

gebner / hott3
lean,HoTT in Lean 3
User: gebner
hott lean

haiibo / openwrt-packages
lean,常用 OpenWrt 软件包合集，定时自动更新，适用于 Lean 源码
User: haiibo
lean lede openwrt openwrt-packages luci-app-adguardhome luci-app-wrtbwmon luci-app-dockerman luci-app luci-theme luci-app-eqos

huazhuangnan / actions-build-padavan-openwrt
lean,GitHub Action 学习实例 - 自动编译 padavan 和 openWrt
User: huazhuangnan
actions openwrt padavan github-actions actions-openwrt actions-padavan openclash adguardhome padavan-openwrt lienol

iyuangang / openwrt
lean,OpenWrt Stable 1907 with lean's package
User: iyuangang
openwrt stable lean zh-cn openwrt1907 autocompile raspberrypi router openwrt-zh-cn openwrt-stable

jameschch / leanparameteroptimization
lean,Parameter Optimization for Lean Algorithms
User: jameschch
Home Page: https://optimizers.ml
lean optimization blazor sharpe-ratio csharp trading lean-algorithms

joelparkerhenderson / maturity-models
lean,Maturity models for IT, Agile, DevOps, TOGAF, Six Sigma, P3M3, etc.
User: joelparkerhenderson
maturity-models agile devops iac sysadmin it enterprise lean six-sigma

julian / lean.nvim
lean,neovim support for the Lean theorem prover
User: julian
leanprover neovim neovim-plugin lean nvim-treesitter tree-sitter nvim lean4

kenzok78 / build-openwrt
lean,四个主流代码x86固件编译
Organization: kenzok78
Home Page: https://op.dllkids.xyz/op/firmware
openwrt lean lienol immortalwrt

kenzok8 / openwrt_build
lean,一键多编译固件
User: kenzok8
Home Page: https://op.dllkids.xyz
openwrt lienol lean immortalwrt

lean-dojo / leancopilot
lean,LLMs as Copilots for Theorem Proving in Lean
Organization: lean-dojo
Home Page: https://leandojo.org
lean llm-inference machine-learning theorem-proving lean4 formal-mathematics

lean-dojo / leandojo
lean,Tool for data extraction and interacting with Lean programmatically.
Organization: lean-dojo
Home Page: https://leandojo.org
lean machine-learning theorem-proving lean4

lean-dojo / leandojochatgpt
lean,ChatGPT plugin for theorem proving in Lean
Organization: lean-dojo
Home Page: https://leandojo.org
chatgpt chatgpt-plugin large-language-models lean machine-learning theorem

lean-dojo / reprover
lean,Retrieval-Augmented Theorem Provers for Lean
Organization: lean-dojo
Home Page: https://leandojo.org
lean machine-learning theorem-proving

leanprover-community / batteries
lean,The "batteries included" extended library for the Lean programming language and theorem prover
Organization: leanprover-community
lean4 lean

leanprover-community / mathlib
lean,Lean 3's obsolete mathematical components library: please use mathlib4
Organization: leanprover-community
Home Page: https://leanprover-community.github.io/lean3
lean theorem-proving formal-methods formal-proofs formal-mathematics proof-automation

leanprover-community / proofwidgets4
lean,Helper toolkit for creating your own Lean 4 UserWidgets
Organization: leanprover-community
lean lean4 visualization

leanprover / lean3
lean,Lean Theorem Prover
Organization: leanprover
Home Page: http://leanprover.github.io/
programming-language theorem-proving type-theory verification dependent-types lean

leanprover / lean4
lean,Lean 4 programming language and theorem prover
Organization: leanprover
Home Page: https://lean-lang.org
lean4 lean

leanprover / lean4-cli
lean,A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
Organization: leanprover
cli lean lean4

leanprover / leanink
lean,LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
Organization: leanprover
lean4 alectryon visualization lean interactive-theorem-proving

leanprover / theorem_proving_in_lean4
lean,Theorem Proving in Lean 4
Organization: leanprover
Home Page: https://leanprover.github.io/theorem_proving_in_lean4/
lean4 lean

leanprover / vscode-lean4
lean,Visual Studio Code extension for the Lean 4 proof assistant
Organization: leanprover
vscode lean

leantime / leantime
lean,Leantime is a goals focused project management system for non-project managers. Building with ADHD, Autism, and dyslexia in mind.
Organization: leantime
Home Page: https://leantime.io
project-management php sql kanban gantt timesheets calendar agile retrospective lean

lorabv / awesome-agile
lean,Awesome List of resources on Agile Software Development.
User: lorabv
Home Page: https://lorabv.github.io/awesome-agile
awesome-list awesome agile agile-development agile-manifesto agile-architecture retrospectives kanban scrum lean

mariordev / mailtoui
lean,A simple way to enhance your mailto links with a convenient user interface.
User: mariordev
Home Page: https://mailtoui.com
javascript mailto ui interface vanilla-javascript vanilla-js no-dependencies lean

mo271 / formal_book
lean,Formalizing "Proofs from THE BOOK"
User: mo271
formal-proofs lean mathematics

namin / llm-verified-with-monte-carlo-tree-search
lean,LLM verified with Monte Carlo Tree Search
User: namin
Home Page: https://arxiv.org/abs/2402.08147
ai dafny llm monte-carlo-tree-search coq lean synthesis

nomeata / loogle
lean,Mathlib search tool
User: nomeata
Home Page: https://loogle.lean-lang.org/
lean4 lean

openwrt-actions / helloworld
lean,SSR 科学上网软件
Organization: openwrt-actions
luci-app-ssr-plus lean ssr-plus openwrt-package helloword

pygae / lean-ga
lean,A partial formalization of Geometric Algebra in the Lean formal proof verification system.
Organization: pygae
lean geometric-algebra

risc0 / risc0-lean4
lean,A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
Organization: risc0
lean lean4 risc0 zero-knowledge zk-stark zkvm risc-v riscv riscv32 riscv32im

ryanallen / designdoc
lean,A lean product design process in markdown that enables cross-functional teams to take an idea from napkin to scale by prioritizing learnings to produce customer-centered solutions.
User: ryanallen
design-system design design-process design-document design-docs lean prioritizing-learnings

s3-working-group / s3-practical-guide
lean,A practical guide for Sociocracy 3.0.
Organization: s3-working-group
Home Page: http://patterns.sociocracy30.org
sociocracy-30 sociocracy holacracy patterns organizations creative-commons s3 agile lean scrum

sunnylife42 / docs
lean,战略管理越扎实，理想生活越可达。配备这组「人生战略管理帮手」，一起有思路有行动，灵活兼顾「爱与成就」 😋
Organization: sunnylife42
Home Page: https://sunnylife42.com/docs
flourish lean life plan self-management strategy triz

symlex / symlex
lean,A lean framework stack for agile Web development based on Symfony and Vuetify
Organization: symlex
Home Page: https://docs.symlex.org
agile full-stack lean micro-framework php php-framework rest symfony vuetify

wellecks / llmstep
lean,llmstep: [L]LM proofstep suggestions in Lean 4.
User: wellecks
lean lean4 llm theorem-proving