#

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.

Here are 40 public repositories matching this topic...

S3-working-group / s3-practical-guide

A practical guide for Sociocracy 3.0.

patterns agile s3 scrum creative-commons lean organizations holacracy sociocracy-30 sociocracy

Updated Feb 12, 2026
HTML

S3-working-group / s3-praxisleitfaden

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

agile s3 kanban scrum lean holacracy sociocracy-30 soziokratie sociocray

Updated Jul 5, 2023
HTML

abesamma / lean-canvas-creator

The Lean canvas creator allows you to create lean canvases for your lean project or startup.

nodejs javascript spa html5 wiki tiddlywiki lean tiddlywiki5 tiddlywiki-plugin

Updated Jun 11, 2020
HTML

lean-dojo / LeanDojoWebsite

Code for LeanDojo's website

machine-learning theorem-proving lean lean4 llm

Updated Sep 18, 2026
HTML

safakoner / kit

Kit is a Django project that provides built-in apps and REST API. It also offers several kinds of built-in web sites as well, like conversion and landing page.

python website django landing-page frontend backend rest-api conversion django-rest-framework lean

Updated Nov 22, 2022
HTML

nkdAgility / Agile-Delivery-Kit-for-Software-Organisations

Scrum-Delivery-Kit-for-Software-Organisations

agile kanban scrum lean

Updated May 9, 2024
HTML

StanGirard / smallest-possible-product

Lean Development, ROI-Focused Platform. SPP Marketplace: collaborate on minimalist, single-purpose apps for optimized results.

app marketplace product small lean roi llm genai

Updated Oct 19, 2023
HTML

utensil / formal-land

Utensil's monorepo for formalization, e.g. Lean, Aya

lean lean4

Updated Oct 11, 2026
HTML

eric-wieser / mathlib-import-graph

An interactive viewer for the mathlib import graph

lean mathlib

Updated Nov 4, 2022
HTML

teamruegg / 5SAssessment

5S is a workplace organization method that uses a list of five Japanese words Seiri, Seiton, Seiso, Seiketsu and Shitsuke.

management lean kaizen powerapps 5s

Updated Nov 20, 2022
HTML

edumgt / domain-rag-lab

금융·생활거래 학습 RAG와 QuantConnect LEAN 백테스트 워크플로우 (FastAPI, Qdrant, pgvector, Docker)

python docker finance lean investment quantconnect backtesting ai-agents rag financial-education fastapi streamlit yfinance qdrant llm pgvector ai-hub tool-calling

Updated Oct 8, 2026
HTML

angrycarrots / lean-lite

A hack to enable options data generation and backtesting in QuantConnect Lean

python finance options trading lean quantconnect lean-engine backtest

Updated Jul 14, 2022
HTML

smallprogram / openwrt-ghfu

One-Click OpenWrt Firmware Upgrade via GitHub Releases

openwrt lean sysupgrade immortalwrt luci-app-ghfu

Updated Jul 1, 2026
HTML

jaalonso / jaalonso.github.io

Índice de repositorios.

haskell functional-programming coq prolog proof-assistant lean logic-programming isabelle

Updated Oct 11, 2026
HTML

aconite-ac / aconite-ac.github.io

自身の哲学探究サイト『束跡』をホストしたり、Leanの日本語情報(非公式)を掲載したりしています。

lean lean4

Updated May 7, 2026
HTML

treewalking-site

Treewalking / treewalking-site

Traversing Agile Product Delivery

jekyll devops quality agile metrics organisation lean transformation

Updated Jun 14, 2024
HTML

cygnusx251 / Computers-and-Mathematics

Repository made for the proposed Student Colloquium on Lean theorem prover on January 2021, at Ramakrishna Mission Vidyamandira

theorem-proving mathematics lean

Updated Jan 9, 2021
HTML

roed314 / gq2

An explicit marked profinite presentation of the absolute Galois group of Q₂: four generators, two relations, and a pro-2 wild-inertia condition, with interactive paper, two Lean 4 formalizations, and a finite-quotient verifier

lean p-adic galois

Updated Sep 2, 2026
HTML

cadottea / qcl-native-pack-001

Audited C# / Lean-compatible engine upgrade package for quantitative research workflows.

csharp fintech data-analysis lean quantitative-finance algorithmic-trading backtesting systematic-trading research-tools trading-research

Updated Aug 11, 2026
HTML

nandanavinothkumar-06 / Smart-Market-Network

Smart Market Network -SMN is a multi-vendor platform that helps local retailers manage inventory, orders, and customer interactions using AI, IoT, and real-time analytics. Built on the MERN stack, it enables efficient operations, smart insights, and improved customer experience. This is a project that we have developed as a part of our Lean Startup

ai lean mern-stack sales-analysis

Updated May 25, 2026
HTML

Created by Leonardo de Moura

Released 2013

Followers: 46 followers
Repository: leanprover/lean
Website: github.com/topics/lean
Wikipedia: Wikipedia