fabio-rovai/open-ontologies
Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.
A star delta has been computed for 61,707 of 62,640 tracked repositories in this period, and only those can be ranked in it.
A repository missing here has not been measured far enough back yet. That does not mean it did not move.
Star counts measured between 00:39 and 06:42 (BKK).
Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.
Lean 4 programming language and theorem prover
Leantime is a goals focused project management system for non-project managers. Building with ADHD, Autism, and dyslexia in mind.
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.
The Lean Computer Science Library (CSLib)
A project to digitalise results from physics into Lean.
LLMs as Copilots for Theorem Proving in Lean
Formally Verified Arguments of Knowledge in Lean
Neovim support for the Lean theorem prover
That's all 9 repositories in this period.