可复现的证据每一项已发布结果均链接至可检验的原始证据与方法论。
公共利益软件检验 版本化方法论
软件健康档案， 公开可查。
桥梁、电梯、食品都有公开的检验记录，支撑它们运行的软件却没有。这里就是这份记录：可维护性、工程质量、安全态势、生态采用与治理，对每一个仓库以同一标准度量。
01附带证据02结果不受付费影响03方法论版本化
独立的结果付费、赞助或供应商关系均不能改变已发布的结果。
信号，而非担保结果可为审查与采购提供参考，但不能替代专家判断。
实时目录
目前已收录的全部仓库。
迄今已纳入记录的每一个仓库，可搜索、可排序，每一条都可展开完整报告及其证据。
已收录仓库
97,296
已纳入公开记录的仓库——已完成检验，或已排队等待首次检验。不受下方目录筛选条件影响。
受检月下载量
647B
所有已收录仓库的月度软件包下载量之和，以软件包注册表报告为准——即公开记录所覆盖的依赖足迹。
健康指数中位数
59 中等
所有已检验仓库健康指数的中位值，按指标 2.10.0 计算——可作为解读任何单项结果的参照基准。
类型
仓库构建的是什么——库、应用程序、宿主扩展。证据无法作答的仓库归入「未分类」。
—
spinkney/math
The Stan Math Library is a C++ template library for automatic differentiation of any order using forward, reverse, and mixed modes. It includes a range of built-in functions for probabilistic modeling, linear algebra, and equation solving.
BSD-3-Clause2026年9月13日 · 指标 2.10.0
Go
sprintframework/fsmod
File Service Interface Impl
自定义许可证2026年9月19日 · 指标 2.10.0
Packagist
spryker/silex
[READ ONLY] Subtree split of the Silex module.
自定义许可证2026年9月14日 · 指标 2.10.0
Go
spurtcms/pkgcore
该仓库未发布描述。
MIT2026年10月18日 · 指标 2.10.0
—
squat/cluster-monitoring-operator
Manage the OpenShift monitoring stack
Apache-2.02026年9月13日 · 指标 2.10.0
Go · Packagist
sr-2020/eva-gateway
该仓库未发布描述。
无许可证2026年9月10日 · 指标 2.10.0
—
src-d/regression-borges
Regression testing for borges
Apache-2.02026年9月19日 · 指标 2.10.0
Go
srt32/websocket
Minimal and idiomatic WebSocket library for Go
MIT2026年10月19日 · 指标 2.10.0
Go
srvgit/json2csv
Convert JSON to CSV (go package and command line tool)
MIT2026年10月18日 · 指标 2.10.0
—
stakater/keycloak-gatekeeper
A OpenID / Keycloak Proxy service
自定义许可证2026年8月23日 · 指标 2.10.0
Go
stakater/oauth-proxy
Stakater's OpenShift oauth-proxy
MIT2026年10月18日 · 指标 2.10.0
PyPI
stargaser/pyvo
An Astropy affiliated package providing access to remote data and services of the Virtual observatory (VO) using Python.
自定义许可证2026年9月14日 · 指标 2.10.0
PyPI
staticssleever668/libratbag
A DBus daemon to configure input devices, mainly high-end and gaming mice
MIT2026年8月28日 · 指标 2.10.0
Go
steadybit/extension-debug
steadybit-debug extension
MIT2026年10月22日 · 指标 2.10.0
npm
steedos/cli
deploy and run your steedos apps
无许可证2026年9月10日 · 指标 2.10.0
PyPI
stefangordon/cloud-custodian
Rules engine for AWS management, DSL in yaml for query, filter, and actions on resources
Apache-2.02026年10月18日 · 指标 2.10.0
Go
steigr/iptables_exporter
Prometheus exporter for iptables metrics
Apache-2.02026年9月19日 · 指标 2.10.0
crates.io
stepancheg/bytes
Utilities for working with bytes
Apache-2.02026年9月13日 · 指标 2.10.0
—
stephanlachnit/libratbag
A DBus daemon to configure gaming mice
MIT2026年8月28日 · 指标 2.10.0
Go
stephen-fox/ipcm
A Go library that provides tooling for orchestrating inter-process communication (IPC) on different operating systems.
MIT2026年10月19日 · 指标 2.10.0
Go
stephenfin/gophercloud
Gophercloud: an OpenStack SDK for Go
自定义许可证2026年9月13日 · 指标 2.10.0
Go · npm
stephengroat/tilt
Define your dev environment as code. For microservice apps on Kubernetes.
Apache-2.02026年9月11日 · 指标 2.10.0
Go
sthaha/cluster-monitoring-operator
Manage the OpenShift monitoring stack
Apache-2.02026年9月13日 · 指标 2.10.0
Go
stjordanis/iavl
Merkleized IAVL+ Tree implementation in Go
自定义许可证2026年10月8日 · 指标 2.10.0
PyPI
strandgren/satpy
Python package for earth-observing satellite data processing
GPL-3.02026年9月13日 · 指标 2.10.0
Go · npm
strekm/cli
Simple set of commands to manage a Kyma installation
Apache-2.02026年9月10日 · 指标 2.10.0
—
strell/infosec
Учебное пособие по защите информации кафедры радиотехники и систем управления МФТИ
自定义许可证2026年10月3日 · 指标 2.10.0
crates.io
stuhood/prodash
report progress of concurrent applications and display it in various ways
MIT2026年9月10日 · 指标 2.10.0
Go
stvnjacobs/terraform-provider-linode
Terraform Linode provider
MPL-2.02026年9月19日 · 指标 2.10.0
Go · PyPI
sudachen/go-spacemesh
Go Implementation of the Spacemesh protocol full node. 💾⏰💪
MIT2026年9月20日 · 指标 2.10.0