可复现的证据每一项已发布结果均链接至可检验的原始证据与方法论。
公共利益软件检验 版本化方法论
软件健康档案， 公开可查。
桥梁、电梯、食品都有公开的检验记录，支撑它们运行的软件却没有。这里就是这份记录：可维护性、工程质量、安全态势、生态采用与治理，对每一个仓库以同一标准度量。
01附带证据02结果不受付费影响03方法论版本化
独立的结果付费、赞助或供应商关系均不能改变已发布的结果。
信号，而非担保结果可为审查与采购提供参考，但不能替代专家判断。
实时目录
目前已收录的全部仓库。
迄今已纳入记录的每一个仓库，可搜索、可排序，每一条都可展开完整报告及其证据。
已收录仓库
67,521
已纳入公开记录的仓库——已完成检验，或已排队等待首次检验。不受下方目录筛选条件影响。
受检月下载量
587B
所有已收录仓库的月度软件包下载量之和，以软件包注册表报告为准——即公开记录所覆盖的依赖足迹。
健康指数中位数
60 中等
所有已检验仓库健康指数的中位值，按指标 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年7月26日 · 指标 2.10.0
Packagist
spryker-shop/shop-application-extension
[READ ONLY] Subtree split of the ShopApplicationExtension module.
自定义许可证2026年8月13日 · 指标 2.10.0
Packagist
spryker/checkout-rest-api-extension
[READ ONLY] Subtree split of the CheckoutRestApiExtension module.
自定义许可证2026年8月13日 · 指标 2.10.0
Packagist
spryker/product-extension
[READ ONLY] Subtree split of the ProductExtension module.
自定义许可证2026年8月13日 · 指标 2.10.0
Packagist
spryker/sales-order-amendment-extension
[READ ONLY] Subtree split of the SalesOrderAmendmentExtension module.
自定义许可证2026年8月13日 · 指标 2.10.0
Packagist
spryker/silex
[READ ONLY] Subtree split of the Silex module.
自定义许可证2026年7月28日 · 指标 2.10.0
Packagist
spryker/twig-extension
[READ ONLY] Subtree split of the TwigExtension module.
自定义许可证2026年7月30日 · 指标 2.10.0
Packagist
spryker/util-network
[READ ONLY] Subtree split of the UtilNetwork module.
自定义许可证2026年8月13日 · 指标 2.10.0
Packagist
spryker/util-text
[READ ONLY] Subtree split of the UtilText module.
自定义许可证2026年7月30日 · 指标 2.10.0
—
squat/cluster-monitoring-operator
Manage the OpenShift monitoring stack
Apache-2.02026年7月24日 · 指标 2.10.0
Go · Packagist
sr-2020/eva-gateway
该仓库未发布描述。
无许可证2026年9月10日 · 指标 2.10.0
—
stakater/keycloak-gatekeeper
A OpenID / Keycloak Proxy service
自定义许可证2026年8月23日 · 指标 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年7月31日 · 指标 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
npm
steedos/cli
deploy and run your steedos apps
无许可证2026年9月10日 · 指标 2.10.0
crates.io
stepancheg/bytes
Utilities for working with bytes
Apache-2.02026年7月26日 · 指标 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年8月21日 · 指标 2.10.0
Go
stephenfin/gophercloud
Gophercloud: an OpenStack SDK for Go
自定义许可证2026年7月26日 · 指标 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年7月24日 · 指标 2.10.0
Go
storm-trade/config-discovery-client
该仓库未发布描述。
无许可证2026年7月20日 · 指标 2.10.0
PyPI
strandgren/satpy
Python package for earth-observing satellite data processing
GPL-3.02026年7月26日 · 指标 2.10.0
Go · npm
strekm/cli
Simple set of commands to manage a Kyma installation
Apache-2.02026年9月10日 · 指标 2.10.0
crates.io
stuhood/prodash
report progress of concurrent applications and display it in various ways
MIT2026年9月10日 · 指标 2.10.0
npm
suneettipirneni/discord-api-types
Up to date Discord API Typings, versioned by the API version
MIT2026年7月27日 · 指标 2.10.0
Go
superhx/rocketmq-client-go
Apache RocketMQ go client
Apache-2.02026年7月26日 · 指标 2.10.0
Go
supperdoggy/spot-models
Models for homemade independent server
无许可证2026年7月31日 · 指标 2.10.0
Go
survivorbat/go-mockassert
gomockassert is a matcher that uses testify/assert to perform matches.
MIT2026年9月8日 · 指标 2.10.0
npm
svetlanabrennan/opentelemetry-js
OpenTelemetry JavaScript Client
Apache-2.02026年7月26日 · 指标 2.10.0