可复现的证据每一项已发布结果均链接至可检验的原始证据与方法论。
公共利益软件检验 版本化方法论
软件健康档案， 公开可查。
桥梁、电梯、食品都有公开的检验记录，支撑它们运行的软件却没有。这里就是这份记录：可维护性、工程质量、安全态势、生态采用与治理，对每一个仓库以同一标准度量。
01附带证据02结果不受付费影响03方法论版本化
独立的结果付费、赞助或供应商关系均不能改变已发布的结果。
信号，而非担保结果可为审查与采购提供参考，但不能替代专家判断。
实时目录
目前已收录的全部仓库。
迄今已纳入记录的每一个仓库，可搜索、可排序，每一条都可展开完整报告及其证据。
已收录仓库
98,210
已纳入公开记录的仓库——已完成检验，或已排队等待首次检验。不受下方目录筛选条件影响。
受检月下载量
650B
所有已收录仓库的月度软件包下载量之和，以软件包注册表报告为准——即公开记录所覆盖的依赖足迹。
健康指数中位数
59 中等
所有已检验仓库健康指数的中位值，按指标 2.10.0 计算——可作为解读任何单项结果的参照基准。
类型
仓库构建的是什么——库、应用程序、宿主扩展。证据无法作答的仓库归入「未分类」。
npm
diegomura/media-engine
Media queries engine written in pure JS!
无许可证2026年9月18日 · 指标 2.10.0
PyPI
fact-project/pyfact
A python package with useful methods concernig the FACT-telescope
无许可证2026年10月23日 · 指标 2.10.0
Hex
fremantle-industries/ex_bitmex
BitMEX API Client for Elixir
MIT2026年9月15日 · 指标 2.10.0
RubyGems
gamache/fuzzyurl.rb
A Ruby Gem for non-strict parsing, manipulation, and wildcard matching of URLs.
MIT2026年9月11日 · 指标 2.10.0
—
initCommerce/gato
A dart utility library inspired by javascript lodash library.
MIT2026年9月13日 · 指标 2.10.0
Maven
jakartaee/interceptors
Jakarta Interceptors
自定义许可证2026年10月19日 · 指标 2.10.0
PyPI
ljhopkins2/broadcastify-archtk
The Broadcastify Archive Toolkit for python
AGPL-3.02026年10月20日 · 指标 2.10.0
Hex
lpil/repeatedly
该仓库未发布描述。
无许可证2026年9月9日 · 指标 2.10.0
npm
micromark/micromark-extension-mdx-expression
micromark extension to support MDX or MDX JS expressions
MIT2026年10月21日 · 指标 2.10.0
npm
opendevtools/clearingnummer
Clearing numbers for Swedish banks
MIT2026年10月18日 · 指标 2.10.0
Packagist
pantheon-systems/wordpress-composer
WordPress for Pantheon with a composer.json file.
自定义许可证2026年9月17日 · 指标 2.10.0
RubyGems
piotrmurach/benchmark-perf
Benchmark execution time and iterations per second
MIT2026年9月11日 · 指标 2.10.0
Hex
primait/opentelemetry_absinthe
该仓库未发布描述。
无许可证2026年9月9日 · 指标 2.10.0
PyPI
runtimeverification/pyk
Python tools for the K Framework
BSD-3-Clause2026年9月10日 · 指标 2.10.0
npm
samn/json-stable-stringify
deterministic JSON.stringify() with custom sorting to get deterministic hashes from stringified results
自定义许可证2026年9月16日 · 指标 2.10.0
crates.io
sgodwincs/dlv-list-rs
该仓库未发布描述。
Apache-2.02026年9月18日 · 指标 2.10.0
Packagist
shish/safe
All PHP functions, rewritten to throw exceptions instead of returning false
MIT2026年9月13日 · 指标 2.10.0
crates.io
sigp/rust-libp2p
The Rust Implementation of libp2p networking stack.
MIT2026年9月20日 · 指标 2.10.0
npm
streamich/tree-dump
Simple console tree printing helpers
Apache-2.02026年9月15日 · 指标 2.10.0
npm
syntax-tree/hast-util-raw
utility to reparse a hast tree
MIT2026年10月21日 · 指标 2.10.0
crates.io
tormol/encode_unicode
A rust library for converting between UTF-8, UTF-16 and UTF-32 characters.
Apache-2.02026年9月17日 · 指标 2.10.0
NuGet
unoplatform/Uno.UITest
Unified UI Testing Framework for Uno Platform based applications
自定义许可证2026年9月11日 · 指标 2.10.0
Packagist
yoanm/symfony-jsonrpc-http-server
Symfony JSON-RPC HTTP Server to convert an HTTP json-rpc request into HTTP json-rpc response
MIT2026年10月23日 · 指标 2.10.0
Hex
Beaudidly/gbor
A CBOR library implemented in Gleam
Apache-2.02026年9月18日 · 指标 2.10.0
npm
InterNetX/js-domainrobot-sdk
A javascript package for easy integration of the Domainrobot API powered by InterNetX GmbH.
MIT2026年9月16日 · 指标 2.10.0
npm
Khan/mathquill
Magic textboxes where you can type math as easily as writing!
MPL-2.02026年10月18日 · 指标 2.10.0
Packagist
Kunstmaan/KunstmaanUtilitiesBundle
[READ-ONLY] Subtree split of the Kunstmaan UtilitiesBundle -- master at Kunstmaan/KunstmaanBundlesCMS
MIT2026年10月12日 · 指标 2.10.0
—
OpenCilk/cilkrts
A copy of the Intel Cilk Plus runtime system with modifications to work with OpenCilk and its associated tools.
无许可证2026年9月15日 · 指标 2.10.0
—
PagerDuty/pdagent-integrations
该仓库未发布描述。
自定义许可证2026年9月19日 · 指标 2.10.0
crates.io · npm · PyPI
SpaceFrontiers/hermes
Archived. Development has moved to SpaceFrontiers/summa.
无许可证2026年10月22日 · 指标 2.10.0