lean

open-ontologies

+888

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

lean4

+119

Lean 4 programming language and theorem prover

leantime

+45

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

aeneas

+29

A verification toolchain for Rust programs

crbnos/carbon

+27

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.

LeanCopilot

+4

LLMs as Copilots for Theorem Proving in Lean

Andon

+1

A Lean quality system for AI-assisted work — every defect becomes a permanent countermeasure. Built by a manufacturing operator.