Lean

Leantime is a goals focused project management system for non-project managers. Building with ADHD, Autism, and dyslexia in mind.

Lean 4 programming language and theorem prover

A library of enterprise-grade AI agents designed to democratize artificial intelligence and provide free, open-source alternatives to overvalued Y Combinator startups.

Open-source manufacturing ERP, MES and QMS. Quoting, MRP, inventory, shop floor, quality and lot/serial traceability on one Postgres schema, with a REST API and MCP server. Self-host or use Carbon Cloud.

Lean Theorem Prover

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

Awesome List of resources on Agile Software Development.

LLMs as Copilots for Theorem Proving in Lean

A verification toolchain for Rust programs

一键多编译固件

Tool for data extraction and interacting with Lean programmatically.

A project to digitalise results from physics into Lean.

The Lean Computer Science Library (CSLib)

Visualizing the network of math theories.

Neovim support for the Lean theorem prover

Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.

What to Read to Learn More About DevOps

Code for Parsel 🐍 - generate complex programs with language models

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

Bug-free machine learning on stochastic computation graphs