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 52,825 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 08:50 (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.
The Lean Computer Science Library (CSLib)
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.
A project to digitalise results from physics into Lean.
Neovim support for the Lean theorem prover
LLMs as Copilots for Theorem Proving in Lean
Formally Verified Arguments of Knowledge in Lean
That's all 9 repositories in this period.