Data

Tools

Indexes

Applications

Experiments

Awesome

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

Lean

Lean is a functional programming language that makes it easy to write correct and maintainable code. You can also use Lean as an interactive theorem prover. Lean programming primarily involves defining types and functions. This allows your focus to remain on the problem domain and manipulating its data, rather than the details of programming.

https://github.com/leanprover/lean4

Lean 4 programming language and theorem prover

lean lean4

Last synced: 30 Aug 2025

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: 12 May 2025

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: 16 Jan 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/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: 29 Dec 2025

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: 26 Mar 2025

https://github.com/Crispher/MathlibExplorer

Visualizing the network of math theories.

lean math mathlib visualization

Last synced: 05 Mar 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: 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/cslib

A Lean library for Computer Science

computer-science lean

Last synced: 26 Oct 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/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/eric-wieser/lean-matrix-cookbook

The matrix cookbook, proved in the Lean theorem prover

formal-mathematics lean lean4 matrices

Last synced: 26 Mar 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/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: 10 Jul 2025

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: 22 Jul 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/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/fgdorais/lean4-parser

Parser Combinator Library for Lean 4

lean lean4

Last synced: 22 Jul 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/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/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/anderssorby/sdl.lean

SDL2 bindings for lean

lean lean4 sdl2

Last synced: 02 Nov 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/seasawher/mdgen

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

lean lean4 markdown-converter

Last synced: 09 Oct 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/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/erdiko/core

Erdiko framework core components

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

Last synced: 04 May 2025

https://github.com/zutrinken/kava

Ghost Theme

brvtal ghost lean theme

Last synced: 15 Mar 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: 30 Jun 2025

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/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: 15 Jun 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/alexjbest/leaff

Leaff is a diff tool for Lean environments

lean lean4

Last synced: 22 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: 03 Mar 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/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/FR-vdash-bot/Algorithm

Verified efficient algorithms in Lean4.

algorithm data-structure lean lean4

Last synced: 22 Jul 2025

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

Formalization of DBSP

lean

Last synced: 17 Jun 2025

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

Tool for compiling Lean to WASM

lean lean4 wasm

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/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/totbwf/lean4-raytrace

A simple raytracer written in lean

lean lean4

Last synced: 06 Mar 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

https://github.com/guilhem/devops-training

DevOps culture training

agile cloud devops hugo lean reveal-js sre

Last synced: 19 Mar 2025

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

Nix expressions and derivations in lean (in development)

lean lean4

Last synced: 03 Nov 2025

Lean Awesome Lists
best-of-lean4 35
Lean Categories
Core packages 6 Packages 6 Tools 6 Cheatsheets 5 Tutorials 5 Samples 2 Other awesome lists 1 Packages (Meta) 1 Contribution 1 License 1 Games 1 Related Resources 1