Topic: "lean"
leanprover/lean4
Lean 4 programming language and theorem prover
Language: Lean - Size: 2 GB - Last synced at: about 3 hours ago - Pushed at: about 4 hours ago - Stars: 5,345 - Forks: 562
Leantime/leantime
Leantime is a goals focused project management system for non-project managers. Building with ADHD, Autism, and dyslexia in mind.
Language: PHP - Size: 198 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 5,228 - Forks: 628
leanprover/lean3 📦
Lean Theorem Prover
Language: C++ - Size: 50.3 MB - Last synced at: 2 days ago - Pushed at: over 1 year ago - Stars: 2,150 - Forks: 217
leanprover-community/mathlib3 📦
Lean 3's obsolete mathematical components library: please use mathlib4
Language: Lean - Size: 213 MB - Last synced at: 6 days ago - Pushed at: 10 months ago - Stars: 1,662 - Forks: 294
lorabv/awesome-agile
Awesome List of resources on Agile Software Development.
Size: 176 KB - Last synced at: 2 days ago - Pushed at: 8 months ago - Stars: 1,394 - Forks: 193
lean-dojo/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
Language: C++ - Size: 1.22 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 1,072 - Forks: 99
kenzok8/openwrt_Build
一键多编译固件
Language: Shell - Size: 666 KB - Last synced at: 7 days ago - Pushed at: 9 days ago - Stars: 880 - Forks: 450
lean-dojo/LeanDojo
Tool for data extraction and interacting with Lean programmatically.
Language: Python - Size: 2.23 MB - Last synced at: 5 days ago - Pushed at: 6 days ago - Stars: 647 - Forks: 101
Crispher/MathlibExplorer
Visualizing the network of math theories.
Language: Python - Size: 7.11 MB - Last synced at: about 2 months ago - Pushed at: 11 months ago - Stars: 506 - Forks: 42
chris-short/DevOps-README.md
What to Read to Learn More About DevOps
Size: 7.23 MB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 453 - Forks: 27
dselsam/certigrad
Bug-free machine learning on stochastic computation graphs
Language: Lean - Size: 289 KB - Last synced at: about 1 month ago - Pushed at: about 6 years ago - Stars: 390 - Forks: 35
ezelikman/parsel
Code for Parsel 🐍 - generate complex programs with language models
Language: Python - Size: 170 KB - Last synced at: 11 months ago - Pushed at: over 1 year ago - Stars: 377 - Forks: 32
Julian/lean.nvim
Neovim support for the Lean theorem prover
Language: Lua - Size: 1.91 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 345 - Forks: 31
0x676e67/luci-theme-design
LuCI design theme (Suitable for lede)
Language: CSS - Size: 22.3 MB - Last synced at: 16 days ago - Pushed at: 7 months ago - Stars: 328 - Forks: 62
symlex/symlex 📦
A lean framework stack for agile Web development based on Symfony and Vuetify
Language: PHP - Size: 6.77 MB - Last synced at: 4 months ago - Pushed at: about 3 years ago - Stars: 296 - Forks: 19
leanprover-community/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
Language: Lean - Size: 16.2 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 291 - Forks: 118
huazhuangnan/actions-build-padavan-openwrt 📦
GitHub Action 学习实例 - 自动编译 padavan 和 openWrt
Language: C - Size: 620 KB - Last synced at: 5 months ago - Pushed at: over 2 years ago - Stars: 284 - Forks: 332
namin/llm-verified-with-monte-carlo-tree-search
LLM verified with Monte Carlo Tree Search
Language: Jupyter Notebook - Size: 42.4 MB - Last synced at: 12 days ago - Pushed at: 21 days ago - Stars: 272 - Forks: 28
AeneasVerif/aeneas
A verification toolchain for Rust programs
Language: OCaml - Size: 7.98 MB - Last synced at: 9 days ago - Pushed at: 10 days ago - Stars: 251 - Forks: 24
haiibo/openwrt-packages 📦
常用 OpenWrt 软件包合集，定时自动更新，适用于 Lean 源码
Language: JavaScript - Size: 60.4 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 230 - Forks: 84
leanprover/vscode-lean4
Visual Studio Code extension for the Lean 4 proof assistant
Language: TypeScript - Size: 11.3 MB - Last synced at: 9 days ago - Pushed at: 10 days ago - Stars: 203 - Forks: 62
HEPLean/PhysLean
A project to digitalise results from physics into Lean.
Language: Lean - Size: 4.76 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 200 - Forks: 18
joelparkerhenderson/maturity-models
Maturity models for IT, Agile, DevOps, TOGAF, Six Sigma, P3M3, etc.
Size: 264 KB - Last synced at: 11 months ago - Pushed at: about 1 year ago - Stars: 198 - Forks: 74
mariordev/mailtoui
A simple way to enhance your mailto links with a convenient user interface.
Language: JavaScript - Size: 1.3 MB - Last synced at: 7 days ago - Pushed at: over 2 years ago - Stars: 193 - Forks: 12
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.
Size: 76.2 KB - Last synced at: 5 months ago - Pushed at: about 2 years ago - Stars: 163 - Forks: 9
lean-dojo/ReProver
Retrieval-Augmented Theorem Provers for Lean
Language: Python - Size: 1.65 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 158 - Forks: 27
leanprover/theorem_proving_in_lean4
Theorem Proving in Lean 4
Language: JavaScript - Size: 20.7 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 141 - Forks: 79
wellecks/llmstep
llmstep: [L]LM proofstep suggestions in Lean 4.
Language: Python - Size: 1.56 MB - Last synced at: 15 days ago - Pushed at: over 1 year ago - Stars: 130 - Forks: 15
leanprover-community/ProofWidgets4
Helper toolkit for creating your own Lean 4 UserWidgets
Language: Lean - Size: 1.25 MB - Last synced at: 8 days ago - Pushed at: 13 days ago - Stars: 129 - Forks: 34
sunnylife42/docs
战略管理越扎实，理想生活越可达。配备这组「人生战略管理帮手」，一起有思路有行动，灵活兼顾「爱与成就」 😋
Language: MDX - Size: 1.46 MB - Last synced at: 9 days ago - Pushed at: about 2 months ago - Stars: 120 - Forks: 49
lean-dojo/LeanDojoChatGPT
ChatGPT plugin for theorem proving in Lean
Language: Python - Size: 344 KB - Last synced at: about 5 hours ago - Pushed at: about 1 year ago - Stars: 118 - Forks: 14
eric-wieser/lean-matrix-cookbook
The matrix cookbook, proved in the Lean theorem prover
Language: Lean - Size: 177 KB - Last synced at: 25 days ago - Pushed at: 5 months ago - Stars: 101 - Forks: 11
DreamWalkerXZ/Actions-OpenWrt-K2P
Use Github Actions to automatically compile Lean's Modified Lede source for K2P
Language: Shell - Size: 666 KB - Last synced at: almost 2 years ago - Pushed at: almost 3 years ago - Stars: 96 - Forks: 121
bamlab/dev-standards 📦
https://bamtech.gitbooks.io/dev-standards/
Language: JavaScript - Size: 3.35 MB - Last synced at: 4 months ago - Pushed at: over 6 years ago - Stars: 86 - Forks: 29
nomeata/loogle
Mathlib search tool
Language: Lean - Size: 298 KB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 84 - Forks: 15
34j/best-of-lean4
A list of awesome lean4 projects. Feel free to add your project.
Size: 2.79 MB - Last synced at: about 10 hours ago - Pushed at: 4 days ago - Stars: 83 - Forks: 4
gebner/hott3
HoTT in Lean 3
Language: Lean - Size: 452 KB - Last synced at: 7 days ago - Pushed at: over 4 years ago - Stars: 79 - Forks: 11
OpenWrt-Actions/helloworld
SSR 科学上网软件
Language: C - Size: 1.72 MB - Last synced at: 9 months ago - Pushed at: about 3 years ago - Stars: 77 - Forks: 54
leanprover/lean4-cli
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
Language: Lean - Size: 122 KB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 75 - Forks: 17
S3-working-group/s3-practical-guide
A practical guide for Sociocracy 3.0.
Language: HTML - Size: 869 MB - Last synced at: 18 days ago - Pushed at: about 1 month ago - Stars: 73 - Forks: 28
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.
Language: Lean - Size: 1.34 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 62 - Forks: 1
rami3l/PLFaLean
Learn Lean 4 with PLFA proofs.
Language: Lean - Size: 254 KB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 62 - Forks: 6
risc0/risc0-lean4
A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
Language: Lean - Size: 3.14 MB - Last synced at: about 2 months ago - Pushed at: about 2 years ago - Stars: 62 - Forks: 4
Verified-zkEVM/ZKLib
Formally Verified SNARKs in Lean
Language: Lean - Size: 2.74 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 60 - Forks: 7
leanprover/LeanInk 📦
LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
Language: Lean - Size: 1.23 MB - Last synced at: 2 days ago - Pushed at: 9 months ago - Stars: 60 - Forks: 16
forked-from-1kasper/ground_zero
Ground Zero: Lean 4 HoTT Library
Language: Lean - Size: 3.56 MB - Last synced at: 11 days ago - Pushed at: 11 days ago - Stars: 57 - Forks: 1
mo271/FormalBook
Formalizing "Proofs from THE BOOK"
Language: TeX - Size: 354 KB - Last synced at: 1 day ago - Pushed at: 4 months ago - Stars: 57 - Forks: 12
jameschch/LeanParameterOptimization
Parameter Optimization for Lean Algorithms
Language: C# - Size: 8.35 MB - Last synced at: 6 months ago - Pushed at: over 2 years ago - Stars: 57 - Forks: 21
kenzok78/Build-OpenWrt
四个主流代码x86固件编译
Language: Shell - Size: 479 KB - Last synced at: 14 days ago - Pushed at: 3 months ago - Stars: 53 - Forks: 57
iyuangang/openwrt
OpenWrt Stable 1907 with lean's package
Language: C - Size: 83.7 MB - Last synced at: 10 months ago - Pushed at: over 4 years ago - Stars: 53 - Forks: 32
pygae/lean-ga
A partial formalization of Geometric Algebra in the Lean formal proof verification system.
Language: Lean - Size: 3.56 MB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 50 - Forks: 4
fgdorais/lean4-parser
Parser Combinator Library for Lean 4
Language: Lean - Size: 9.65 MB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 47 - Forks: 6
0x676e67/Actions-OpenWrt
Lean♂DHDAXCW Actions OpenWrt for Nanopi R5C/R4SE/X86
Language: Makefile - Size: 23.2 MB - Last synced at: 7 days ago - Pushed at: almost 2 years ago - Stars: 47 - Forks: 16
BoltonBailey/formal-snarks-project
A formal verification of Linear PCP SNARKs.
Language: Lean - Size: 471 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 44 - Forks: 1
ryanallen/designDoc
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.
Size: 45.9 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 43 - Forks: 11
bhgomes/lean-riemann-hypothesis
Riemann Hypothesis in Lean
Language: Lean - Size: 1.77 MB - Last synced at: about 1 month ago - Pushed at: about 4 years ago - Stars: 40 - Forks: 7
reilabs/proven-zk
A support library for working with zero knowledge cryptography in Lean 4.
Language: Lean - Size: 160 KB - Last synced at: 17 days ago - Pushed at: 17 days ago - Stars: 36 - Forks: 4
microsoft/AliveInLean 📦
Formally verified implementation of Alive in Lean
Language: Lean - Size: 143 KB - Last synced at: about 22 hours ago - Pushed at: almost 2 years ago - Stars: 36 - Forks: 9
gebner/trepplein
Lean type-checker written in Scala.
Language: Scala - Size: 118 KB - Last synced at: 13 days ago - Pushed at: about 3 years ago - Stars: 35 - Forks: 2
alexkeizer/QpfTypes
A WIP definitional (co)datatype package for Lean4
Language: Lean - Size: 564 KB - Last synced at: 2 months ago - Pushed at: 4 months ago - Stars: 34 - Forks: 4
eGenix/egenix-pyrun
eGenix PyRun - Your friendly, lean, open source Python runtime
Language: Python - Size: 3.75 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 33 - Forks: 1
helmiau/HelmiWrt-OS Fork of SuLingGG/OpenWrt-Rpi
Custom OpenWrt build for Raspberry Pi 1/2/3/4, x86/x64 PC (BIOS), NanoPi R2S/R4S and Orange Pi Zero/R1 Plus
Language: Shell - Size: 3.04 MB - Last synced at: 9 months ago - Pushed at: almost 3 years ago - Stars: 32 - Forks: 51
Julian/tree-sitter-lean
Experimental tree-sitter parser for the Lean (4) Theorem Prover
Language: C - Size: 241 MB - Last synced at: 7 days ago - Pushed at: 4 months ago - Stars: 31 - Forks: 8
samelogic/docs
Documentation website for Samelogic Platform, APIs, and SDKs
Language: JavaScript - Size: 5.37 MB - Last synced at: about 19 hours ago - Pushed at: about 2 years ago - Stars: 29 - Forks: 0
BobLd/lean-monitor-2
Windows/Linux/MacOS Desktop App to browse QuantConnect Lean engine's backtest and monitor live performances. Original project https://github.com/mirthestam/lean-monitor
Language: C# - Size: 4.41 MB - Last synced at: 7 days ago - Pushed at: 2 months ago - Stars: 27 - Forks: 16
annenkov/two-level
Two-Level Type Theory
Language: Lean - Size: 151 KB - Last synced at: 4 months ago - Pushed at: over 5 years ago - Stars: 27 - Forks: 1
ClayMoreBoy/OpenWrt-Actions-R7800
R7800 Build OpenWrt using GitHub Actions | 使用 GitHub Actions 云编译 R7800 OpenWrt 每天编译更新固件
Language: Shell - Size: 94.1 MB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 26 - Forks: 22
YJPL/lean-canvas-for-obsidian
💎 Lean Canvas template for Obsidian
Size: 59.6 KB - Last synced at: 12 months ago - Pushed at: about 1 year ago - Stars: 25 - Forks: 5
vaibhavkarve/leanteach2020
Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project
Language: Lean - Size: 63.3 MB - Last synced at: 5 months ago - Pushed at: over 3 years ago - Stars: 24 - Forks: 6
anqur/TinyLean
Tiny theorem prover with syntax like Lean 4 in <1K LOC
Language: Python - Size: 285 KB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 23 - Forks: 0
Anderssorby/SDL.lean
SDL2 bindings for lean
Language: Lean - Size: 134 KB - Last synced at: 7 days ago - Pushed at: about 1 year ago - Stars: 21 - Forks: 4
mhumph/zenboard
Teamwork made easy
Language: JavaScript - Size: 28.6 MB - Last synced at: 5 months ago - Pushed at: over 5 years ago - Stars: 21 - Forks: 5
nyuichi/LeanHOL
super tiny implementation of higher-order logic proof assistant in lean
Language: Lean - Size: 21.5 KB - Last synced at: 27 days ago - Pushed at: over 5 years ago - Stars: 21 - Forks: 0
joaopauloaramuni/trabalhos-finais
Repo Trabalhos finais
Size: 6.53 MB - Last synced at: about 2 months ago - Pushed at: 5 months ago - Stars: 20 - Forks: 0
S3-working-group/s3-praxisleitfaden
The German translation of "S3 - A practical guide", see the website for the full text and download links
Language: HTML - Size: 208 MB - Last synced at: 18 days ago - Pushed at: almost 2 years ago - Stars: 20 - Forks: 8
leanprover/lean-action
GitHub action for standard CI in Lean projects
Language: Shell - Size: 189 KB - Last synced at: 12 days ago - Pushed at: 24 days ago - Stars: 18 - Forks: 4
zutrinken/kava
Ghost Theme
Language: SCSS - Size: 1.34 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 18 - Forks: 6
Erdiko/core
Erdiko framework core components
Language: PHP - Size: 3.27 MB - Last synced at: 13 days ago - Pushed at: over 7 years ago - Stars: 18 - Forks: 12
Seasawher/mathlib4-help
List of the output of #help command of mathlib4, including list of all tactics, commands...etc
Language: Python - Size: 5.38 MB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 17 - Forks: 1
Seasawher/mdgen
Tool to generate markdown files from lean files. This is heavily inspired by lean2md.
Language: Lean - Size: 146 KB - Last synced at: 3 days ago - Pushed at: 17 days ago - Stars: 17 - Forks: 2
duckki/lean-quantum
Formalized quantum computing in Lean theorem prover
Language: Lean - Size: 196 KB - Last synced at: 9 months ago - Pushed at: about 4 years ago - Stars: 17 - Forks: 4
alashworth/sf-lean
Software Foundations using the Lean Theorem Prover
Language: Lean - Size: 250 KB - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 17 - Forks: 3
elemental-source/awesome-agile
A hub of blog posts, papers and discussion around Agile theory and practices for software developers
Size: 3.91 KB - Last synced at: 8 days ago - Pushed at: about 8 years ago - Stars: 16 - Forks: 1
alexjbest/leaff
Leaff is a diff tool for Lean environments
Language: Lean - Size: 224 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 15 - Forks: 1
BlackIQ/learn 📦
Read README for more information.
Language: Python - Size: 11.7 KB - Last synced at: 12 days ago - Pushed at: almost 4 years ago - Stars: 15 - Forks: 5
aarjaneiro/QtLean
A Qt GUI interface and build system for QuantConnect's Lean
Language: C++ - Size: 4.82 MB - Last synced at: 21 days ago - Pushed at: about 4 years ago - Stars: 15 - Forks: 4
yuxiaoy1/the-lean-web
精益 Web 开发是一套建立更简单、更快速的万维网的原则。
Size: 26.4 KB - Last synced at: about 1 month ago - Pushed at: over 4 years ago - Stars: 15 - Forks: 5
lean-ja/lean99
These are Lean translations of Ninety-Nine Haskell Problems (WIP)
Language: Lean - Size: 231 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 14 - Forks: 3
kovach/etch
Language: Lean - Size: 9.02 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 14 - Forks: 7
T-Brick/lean2wasm
Tool for compiling Lean to WASM
Language: Lean - Size: 12.7 KB - Last synced at: 5 months ago - Pushed at: about 1 year ago - Stars: 14 - Forks: 2
reilabs/gnark-lean-demo
Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.
Language: Lean - Size: 111 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 14 - Forks: 0
ssomayyajula/linear
Linear Algebra Done...Lean
Language: Lean - Size: 14.6 KB - Last synced at: 9 months ago - Pushed at: over 7 years ago - Stars: 14 - Forks: 1
Timeroot/Lean-QuantumInfo
Quantum information theory in Lean 4
Language: Lean - Size: 366 KB - Last synced at: 3 days ago - Pushed at: 3 days ago - Stars: 13 - Forks: 4
FR-vdash-bot/Algorithm
Verified efficient algorithms in Lean4.
Language: Lean - Size: 207 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 13 - Forks: 0
forked-from-1kasper/lean4-categories
Playing with Category Theory in Lean 4
Language: Lean - Size: 57.6 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 13 - Forks: 0
adyavanapalli/natural-number-game-solutions
Solutions to Imperial College London's Natural Number Game, a gamified formal mathematics course on the Peano axioms using an interactive + automated theorem prover developed by Microsoft Research called Lean.
Size: 23.4 KB - Last synced at: 9 months ago - Pushed at: over 3 years ago - Stars: 13 - Forks: 7
tchajed/database-stream-processing-theory
Formalization of DBSP
Language: Lean - Size: 47.9 KB - Last synced at: 12 months ago - Pushed at: over 1 year ago - Stars: 12 - Forks: 2
AStarStartup/AStartupCookbook
A guide on how to invent, document, launch, and run a startup on GitHub with the AStartup Toolkit.
Language: C++ - Size: 5.69 MB - Last synced at: 5 months ago - Pushed at: over 2 years ago - Stars: 12 - Forks: 2
arthurpaulino/LeanREPL
Language: Lean - Size: 12.7 KB - Last synced at: 7 days ago - Pushed at: over 2 years ago - Stars: 12 - Forks: 2
gebner/m17n-lean
System-wide Lean input method
Language: Python - Size: 118 KB - Last synced at: 13 days ago - Pushed at: about 3 years ago - Stars: 12 - Forks: 0