Measures what software costs — money, time, energy, carbon — and which repositories turn that spend into verified capability. Pareto-first verdicts per change; Data Envelopment Analysis over CI telemetry per estate; SARIF out.
rust open-source developer-tools technical-debt multi-objective-optimization cli-tool pareto-optimality data-envelopment-analysis green-software hyperpolymath epistemic-infrastructure software-economics epistemic-computing veridical-computing equivalence-aware-computing typed-provenance sarif-output carbon-aware-ci
-
Updated
Sep 21, 2026 - Rust