可复现的证据每一项已发布结果均链接至可检验的原始证据与方法论。
公共利益软件检验 版本化方法论
软件健康档案， 公开可查。
桥梁、电梯、食品都有公开的检验记录，支撑它们运行的软件却没有。这里就是这份记录：可维护性、工程质量、安全态势、生态采用与治理，对每一个仓库以同一标准度量。
01附带证据02结果不受付费影响03方法论版本化
独立的结果付费、赞助或供应商关系均不能改变已发布的结果。
信号，而非担保结果可为审查与采购提供参考，但不能替代专家判断。
实时目录
目前已收录的全部仓库。
迄今已纳入记录的每一个仓库，可搜索、可排序，每一条都可展开完整报告及其证据。
已收录仓库
67,499
已纳入公开记录的仓库——已完成检验，或已排队等待首次检验。不受下方目录筛选条件影响。
受检月下载量
546B
所有已收录仓库的月度软件包下载量之和，以软件包注册表报告为准——即公开记录所覆盖的依赖足迹。
健康指数中位数
60 中等
所有已检验仓库健康指数的中位值，按指标 2.10.0 计算——可作为解读任何单项结果的参照基准。
类型
仓库构建的是什么——库、应用程序、宿主扩展。证据无法作答的仓库归入「未分类」。
—
martinmodrak/math
Stan Math Library
BSD-3-Clause2026年7月26日 · 指标 2.10.0
—
masato25/ark-go
Ark GO client for ARK.io blockchain ecosystem #golang #ark #blockchain
MIT2026年8月22日 · 指标 2.10.0
npm
mashangrong/IPAddress
Java library for handling IP addresses and subnets, both IPv4 and IPv6
Apache-2.02026年7月25日 · 指标 2.10.0
Go
mat-rumian/opentelemetry-operator
Kubernetes Operator for OpenTelemetry Collector
Apache-2.02026年7月25日 · 指标 2.10.0
Go
matangiz/notes-cli
Small markdown note taking CLI app playing nicely with your favorite editor and other CLI tools
MIT2026年8月5日 · 指标 2.10.0
—
matt-farmer/json2csv
Convert JSON to CSV (go package and command line tool)
MIT2026年8月2日 · 指标 2.10.0
—
mattrobball/mathlib4_fork
The math library of Lean 4
Apache-2.02026年7月27日 · 指标 2.10.0
Go
max-messenger/maxbot
该仓库未发布描述。
Apache-2.02026年8月8日 · 指标 2.10.0
Go
maxim0r/fsm
该仓库未发布描述。
无许可证2026年7月26日 · 指标 2.10.0
Go · npm
mbatimel/AMC
该仓库未发布描述。
无许可证2026年8月2日 · 指标 2.10.0
Go
mboukhalfa/cluster-api
Home for Cluster API, a subproject of sig-cluster-lifecycle
Apache-2.02026年7月27日 · 指标 2.10.0
Go
mcbalaam/ebitter
a set of things for making games with ebitengine
Apache-2.02026年7月21日 · 指标 2.10.0
—
megablue/klipper
Klipper is a 3d-printer firmware
GPL-3.02026年8月24日 · 指标 2.10.0
npm
mehcode/vscode-icons
Icons for Visual Studio Code
MIT2026年7月26日 · 指标 2.10.0
Go
mei-rune/gosnmp
An SNMP library written in GoLang.
自定义许可证2026年7月22日 · 指标 2.10.0
npm
meows/template-hono
A monorepo template using Bun, Hono, Vite, and React
MIT2026年8月19日 · 指标 2.10.0
npm
meows/valibot
The modular and type safe schema library for validating structural data 🤖
MIT2026年8月19日 · 指标 2.10.0
—
metalmatze/cluster-monitoring-operator
Manage the OpenShift monitoring stack
Apache-2.02026年7月24日 · 指标 2.10.0
npm
metcoder95/undici
An HTTP/1.1 client, written from scratch for Node.js
MIT2026年7月25日 · 指标 2.10.0
PyPI
meteoswiss-mdr/satpy
Python for weather satellite data
GPL-3.02026年7月26日 · 指标 2.10.0
crates.io
mewisme/mew-language
A cat-themed programming language with a runtime written in Rust
GPL-3.02026年8月17日 · 指标 2.10.0
Go
mialinx/wal-g
Archival and Restoration for Postgres
自定义许可证2026年8月16日 · 指标 2.10.0
NuGet
micro-elements/MicroElements.Shared
Source only packages: Assertions, Collections, Reflections, Formatting and more
MIT2026年7月18日 · 指标 2.10.0
—
mikealmond/html5-boilerplate
A professional front-end template for building fast, robust, and adaptable web apps or sites.
MIT2026年7月23日 · 指标 2.10.0
Go
milkpirate/assh
:computer: make your ssh client smarter
MIT2026年7月25日 · 指标 2.10.0
Go
mirkobrombin/go-module-router
A lightweight, zero-codegen library that lets you compose **modular HTTP applications** in Go. Define repositories, services, middleware and routes in plain Go code and have them autowired at start-up—no reflection on the hot path, no generated files to commit.
MIT2026年7月19日 · 指标 2.10.0
npm
mish-design/strapi-table
The strapi-table plugin enhances your Strapi administration panel by providing advanced table functionalities.
无许可证2026年8月3日 · 指标 2.10.0
—
mitchcapper/diffutils
unofficial mirror of https://git.savannah.gnu.org/git/diffutils.git
GPL-3.02026年8月23日 · 指标 2.10.0
—
mithro/litex-buildenv
An environment for building LiteX based FPGA designs. Makes it easy to get everything you need!
BSD-2-Clause2026年8月29日 · 指标 2.10.0
PyPI
mitkin/satpy
Python package for earth-observing satellite data processing
GPL-3.02026年7月26日 · 指标 2.10.0