Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with lean

A curated list of projects in awesome lists tagged with lean .

https://github.com/leanprover/lean4

Lean 4 programming language and theorem prover

lean lean4

Last synced: 07 Mar 2026

https://github.com/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

Last synced: 22 Feb 2026

https://github.com/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

Last synced: 14 Mar 2025

https://github.com/leanprover-community/mathlib3

Lean 3's obsolete mathematical components library: please use mathlib4

formal-mathematics formal-methods formal-proofs lean proof-automation theorem-proving

Last synced: 08 Mar 2025

https://github.com/lean-dojo/LeanCopilot

LLMs as Copilots for Theorem Proving in Lean

formal-mathematics lean lean4 llm-inference machine-learning theorem-proving

Last synced: 09 Jul 2025

https://github.com/kenzok8/openwrt_Build

一键多编译固件

immortalwrt lean lienol openwrt

Last synced: 07 Feb 2026

https://github.com/kenzok8/openwrt_build

一键多编译固件

immortalwrt lean lienol openwrt

Last synced: 28 Feb 2026

https://github.com/lean-dojo/LeanDojo

Tool for data extraction and interacting with Lean programmatically.

lean lean4 machine-learning theorem-proving

Last synced: 27 Mar 2025

https://github.com/dselsam/certigrad

Bug-free machine learning on stochastic computation graphs

lean machine-learning theorem-proving verification

Last synced: 14 Mar 2025

https://github.com/ezelikman/parsel

Code for Parsel 🐍 - generate complex programs with language models

ai lean machine-learning ml program-synthesis python robotics

Last synced: 04 Apr 2025

https://github.com/leanprover/cslib

The Lean Computer Science Library (CSLib)

computer-science lean

Last synced: 02 Mar 2026

https://github.com/julian/lean.nvim

Neovim support for the Lean theorem prover

lean lean4 leanprover neovim neovim-plugin nvim nvim-treesitter tree-sitter

Last synced: 16 May 2025

https://github.com/0x676e67/luci-theme-design

LuCI design theme (Suitable for lede)

design istore lean lede linkease luci openwrt theme webapp

Last synced: 05 Apr 2025

https://github.com/Julian/lean.nvim

Neovim support for the Lean theorem prover

lean lean4 leanprover neovim neovim-plugin nvim nvim-treesitter tree-sitter

Last synced: 14 Mar 2025

https://github.com/leanprover-community/batteries

The "batteries included" extended library for the Lean programming language and theorem prover

lean lean4

Last synced: 04 Mar 2026

https://github.com/lean-dojo/reprover

Retrieval-Augmented Theorem Provers for Lean

lean lean4 machine-learning theorem-proving

Last synced: 16 Jan 2026

https://github.com/leanprover/vscode-lean4

Visual Studio Code extension for the Lean 4 proof assistant

lean vscode

Last synced: 16 May 2025

https://github.com/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

Last synced: 03 Nov 2025

https://github.com/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

Last synced: 24 Jan 2026

https://github.com/Crispher/MathlibExplorer

Visualizing the network of math theories.

lean math mathlib visualization

Last synced: 05 Mar 2025

https://github.com/leanprover-community/proofwidgets4

Helper toolkit for creating your own Lean 4 UserWidgets

lean lean4 visualization

Last synced: 01 Mar 2026

https://github.com/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.

agile agile-development desenvolvimento devops fullstack lean livros softskills

Last synced: 10 Jul 2025

https://github.com/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.

agile agile-development desenvolvimento devops fullstack lean livros softskills

Last synced: 28 Apr 2025

https://github.com/lean-dojo/ReProver

Retrieval-Augmented Theorem Provers for Lean

lean machine-learning theorem-proving

Last synced: 22 Jul 2025

https://github.com/leanprover/theorem_proving_in_lean4

Theorem Proving in Lean 4

lean lean4

Last synced: 07 Apr 2025

https://github.com/wellecks/llmstep

llmstep: [L]LM proofstep suggestions in Lean 4.

lean lean4 llm theorem-proving

Last synced: 25 Mar 2025

https://github.com/eric-wieser/lean-matrix-cookbook

The matrix cookbook, proved in the Lean theorem prover

formal-mathematics lean lean4 matrices

Last synced: 27 Jan 2026

https://github.com/sunnylife42/docs

战略管理越扎实，理想生活越可达。配备这组「人生战略管理帮手」，一起有思路有行动、灵活创造想要的生活 😋

flourish lean life plan self-management strategy triz

Last synced: 11 Apr 2025

https://github.com/leanprover-community/ProofWidgets4

Helper toolkit for creating your own Lean 4 UserWidgets

lean lean4 visualization

Last synced: 22 Jul 2025

https://github.com/bamlab/dev-standards

https://bamtech.gitbooks.io/dev-standards/

bam development lean standardization

Last synced: 23 Aug 2025

https://github.com/nomeata/loogle

Mathlib search tool

lean lean4

Last synced: 27 Apr 2025

https://github.com/gebner/hott3

HoTT in Lean 3

hott lean

Last synced: 14 Apr 2025

https://github.com/leanprover/lean4-cli

A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.

cli lean lean4

Last synced: 31 Oct 2025

https://github.com/fgdorais/lean4-parser

Parser Combinator Library for Lean 4

lean lean4

Last synced: 23 Jan 2026

https://github.com/mo271/FormalBook

Formalizing "Proofs from THE BOOK"

formal-proofs lean mathematics

Last synced: 10 Jul 2025

https://github.com/mo271/formalbook

Formalizing "Proofs from THE BOOK"

formal-proofs lean mathematics

Last synced: 06 Mar 2026

https://github.com/risc0/risc0-lean4

A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover

lean lean4 risc-v risc0 riscv riscv32 riscv32im zero-knowledge zk-stark zkvm

Last synced: 26 Feb 2025

https://github.com/leanprover/leanink

LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.

alectryon interactive-theorem-proving lean lean4 visualization

Last synced: 08 Apr 2025

https://github.com/leanprover/LeanInk

LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.

alectryon interactive-theorem-proving lean lean4 visualization

Last synced: 22 Jul 2025

https://github.com/kenzok78/build-openwrt

四个主流代码x86固件编译

immortalwrt lean lienol openwrt

Last synced: 06 Apr 2025

https://github.com/pygae/lean-ga

A partial formalization of Geometric Algebra in the Lean formal proof verification system.

geometric-algebra lean

Last synced: 08 May 2025

https://github.com/0x676e67/actions-openwrt

Lean♂DHDAXCW Actions OpenWrt for Nanopi R5C/R4SE/X86

action ci lean lede luci nanopi openwrt r4s r4se r5c x86

Last synced: 20 Aug 2025

https://github.com/alexkeizer/qpftypes

A WIP definitional (co)datatype package for Lean4

codatatypes datatypes lean lean4

Last synced: 16 Jul 2025

https://github.com/gebner/trepplein

Lean type-checker written in Scala.

lean scala theorem-proving type-checker

Last synced: 07 Apr 2025

https://github.com/reilabs/proven-zk

A support library for working with zero knowledge cryptography in Lean 4.

formal-verification lean lean4 zero-knowledge

Last synced: 03 Mar 2025

https://github.com/julian/tree-sitter-lean

Experimental tree-sitter parser for the Lean (4) Theorem Prover

context-free-grammar lean lean4 syntax-highlighting tree-sitter

Last synced: 14 Apr 2025

https://github.com/Julian/tree-sitter-lean

Experimental tree-sitter parser for the Lean (4) Theorem Prover

context-free-grammar lean lean4 syntax-highlighting tree-sitter

Last synced: 09 Jul 2025

https://github.com/vaibhavkarve/leanteach2020

Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project

axioms geometry lean math mathematics

Last synced: 16 Jan 2026

https://github.com/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

algorithm algorithmic-trading avalonia backtesting csharp lean lean-monitor linux osx quantconnect trading trading-algorithms windows wpf

Last synced: 14 Apr 2025

https://github.com/seasawher/mdgen

Tool to generate markdown files from lean files. This is heavily inspired by lean2md.

lean lean4 markdown-converter

Last synced: 24 Jan 2026

https://github.com/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

Last synced: 16 Jan 2026

https://github.com/anderssorby/sdl.lean

SDL2 bindings for lean

lean lean4 sdl2

Last synced: 02 Nov 2025

https://github.com/nyuichi/leanhol

super tiny implementation of higher-order logic proof assistant in lean

higher-order-logic lean proof-assistant

Last synced: 25 Aug 2025

https://github.com/incognito/git-exfiltrator

Extract small increments from large changes

branches git git-exfiltrator lean prs

Last synced: 26 Mar 2025

https://github.com/zutrinken/kava

Ghost Theme

brvtal ghost lean theme

Last synced: 15 Mar 2025

https://github.com/S3-working-group/s3-praxisleitfaden

The German translation of "S3 - A practical guide", see the website for the full text and download links

agile holacracy kanban lean s3 scrum sociocracy-30 sociocray soziokratie

Last synced: 03 Apr 2025

https://github.com/leanprover/lean-action

GitHub action for standard CI in Lean projects

github-actions lean lean4

Last synced: 08 Apr 2025

https://github.com/erdiko/core

Erdiko framework core components

erdiko erdiko-framework lean micro-framework micro-mvc-framework php

Last synced: 04 May 2025

https://github.com/seasawher/mathlib4-help

List of the output of #help command of mathlib4, including list of all tactics, commands...etc

lean lean4 reference

Last synced: 08 Mar 2026

https://github.com/aarjaneiro/qtlean

A Qt GUI interface and build system for QuantConnect's Lean

algorithms algotrading c-sharp cpp finance lean options python quantconnect quantitative-finance stock trading-bot

Last synced: 31 Jan 2026

https://github.com/alexjbest/leaff

Leaff is a diff tool for Lean environments

lean lean4

Last synced: 20 Jan 2026

https://github.com/fgdorais/lean4-unicode-basic

Basic Unicode support for Lean 4

lean lean4

Last synced: 16 Feb 2026

https://github.com/mixedmatched/juniper

A toy formally-specified Computer Algebra library written in Rust and formalized in Lean 4

computer-algebra computer-algebra-system formal-methods formal-proofs lean lean4 rust

Last synced: 08 May 2025

https://github.com/yuxiaoy1/the-lean-web

精益 Web 开发是一套建立更简单、更快速的万维网的原则。

lean vanillajs web

Last synced: 16 Mar 2025

https://github.com/Seasawher/mathlib4-tactics

List of the output of #help command of mathlib4, including list of all tactics, commands...etc

lean lean4 reference

Last synced: 09 Jul 2025

https://github.com/reilabs/gnark-lean-demo

Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.

formal-verification gnark lean lean4 zero-knowledge

Last synced: 07 Mar 2026

https://github.com/FR-vdash-bot/Algorithm

Verified efficient algorithms in Lean4.

algorithm data-structure lean lean4

Last synced: 22 Jul 2025

https://github.com/forked-from-1kasper/lean4-categories

Playing with Category Theory in Lean 4

category-theory lean lean4 leanprover mathematics

Last synced: 24 Feb 2025

https://github.com/Seasawher/mdgen

Tool to generate markdown files from lean files. This is heavily inspired by lean2md.

lean lean4 markdown-converter

Last synced: 22 Jul 2025

https://github.com/gebner/m17n-lean

System-wide Lean input method

fcitx ibus input-method lean m17n unicode

Last synced: 13 Sep 2025

https://github.com/totbwf/lean4-raytrace

A simple raytracer written in lean

lean lean4

Last synced: 06 Mar 2025

https://github.com/tchajed/database-stream-processing-theory

Formalization of DBSP

lean

Last synced: 17 Jun 2025

https://github.com/AStarStartup/AStartupCookbook

A guide on how to invent, document, launch, and run a startup on GitHub with the AStartup Toolkit.

books case-study engineering entrepreneurship idd lean productivity startups teams teamwork testing

Last synced: 05 May 2025

https://github.com/astrainfinita/transcendental

Lindemann–Weierstrass Theorem

lean

Last synced: 19 Aug 2025

https://github.com/mtoohey31/lott

An ott-like DSL embedded in Lean.

lean lean4

Last synced: 06 Mar 2026

https://github.com/T-Brick/lean2wasm

Tool for compiling Lean to WASM

lean lean4 wasm

Last synced: 22 Jul 2025

https://github.com/forked-from-1kasper/leanbot

IRC-bot written in Lean (https://leanprover.github.io/)

irc lean leanprover

Last synced: 24 Feb 2025

https://github.com/TOTBWF/lean4-raytrace

A simple raytracer written in lean

lean lean4

Last synced: 22 Jul 2025

https://github.com/FR-vdash-bot/transcendental

Lindemann–Weierstrass Theorem

lean

Last synced: 22 Jul 2025