Search

uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.

The fastest path to AI-powered full stack observability, even for lean teams.

The math library of Lean 4

Proofs for Erlang/Elixir programs through LEAN (via automatic translation of Core Erlang)

The lean application framework for Python. Build sophisticated user interfaces with a simple Python API. Run your apps in the terminal and a web browser.

A project to digitalise results from physics into Lean.

A tasteful, lean, fast & safe pure Rust implementation of Git

An Axum-based Rust web framework with Lean 4-verifiable application kernels that run on servers, bare-metal embedded devices, and GPUs, plus integrated security testing.

LeanCTX is the Context Gateway for AI Systems. Select task-relevant context, apply supported controls, connect local knowledge and inspect recorded evidence. Open-source Engine: CLI, MCP, hooks and supported proxy paths.

A Lean library for machine-checked cryptographic proofs.

A SwiftUI-lean GPUI component library, style flows through the environment, never through parameters.

yaxim - a lean XMPP/Jabber client for Android

Build out a lean, mean Modernizr machine.

lean & mean status/tabline for vim that's light as air

Lean Algorithmic Trading Engine by QuantConnect (Python, C#)

Lean 4 programming language and theorem prover

Spartacus is a lean, Angular-based JavaScript storefront for SAP Commerce Cloud that communicates exclusively through the Commerce REST API.

Lightweight, no dependencies, small and lean, draggable, resizable, and rotatable vue component

Fast and Lean Sqlite database logger for Arduino UNO and above

Library implementing type inference/checking functionality based on the Lean theorem prover

A cargo-companion to become a 'lean crate' (a member of The Lean Crate Initiative)

Declarative enhancement for HTML: simple, composable, lean.

Source code for the Mathematics in Lean tutorial.

Lean 4 port of Iris, a higher-order concurrent separation logic framework

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

Server to host Lean games

Catalog Of Math Problems Formalized In Lean

Experiments on automation for Lean

コード例で学ぶ Lean 言語

Lean 4 kernel / 'external checker' written in Lean 4