可复现的证据每一项已发布结果均链接至可检验的原始证据与方法论。
公共利益软件检验 版本化方法论
软件健康档案， 公开可查。
桥梁、电梯、食品都有公开的检验记录，支撑它们运行的软件却没有。这里就是这份记录：可维护性、工程质量、安全态势、生态采用与治理，对每一个仓库以同一标准度量。
01附带证据02结果不受付费影响03方法论版本化
独立的结果付费、赞助或供应商关系均不能改变已发布的结果。
信号，而非担保结果可为审查与采购提供参考，但不能替代专家判断。
实时目录
目前已收录的全部仓库。
迄今已纳入记录的每一个仓库，可搜索、可排序，每一条都可展开完整报告及其证据。
已收录仓库
67,781
已纳入公开记录的仓库——已完成检验，或已排队等待首次检验。不受下方目录筛选条件影响。
受检月下载量
547B
所有已收录仓库的月度软件包下载量之和，以软件包注册表报告为准——即公开记录所覆盖的依赖足迹。
健康指数中位数
60 中等
所有已检验仓库健康指数的中位值，按指标 2.10.0 计算——可作为解读任何单项结果的参照基准。
类型
仓库构建的是什么——库、应用程序、宿主扩展。证据无法作答的仓库归入「未分类」。
—
JuliaPlanners/PDDL.jl
Julia parser, interpreter and compiler interface for the Planning Domain Definition Language (PDDL). Planners not included.
Apache-2.02026年8月8日 · 指标 2.10.0
crates.io
SimonSapin/rust-std-candidates
Candidates for inclusion in the Rust standard library
MIT2026年8月13日 · 指标 2.10.0
PyPI
Teichlab/Genes2Genes
Aligning gene expression trajectories of single-cell reference and query systems
MIT2026年7月26日 · 指标 2.10.0
npm
andris9/encoding
Encode/decode strings with iconv-lite
自定义许可证2026年8月29日 · 指标 2.10.0
PyPI
christian-oudard/htmltreediff
Structure-aware diff for html and xml documents
BSD-3-Clause2026年8月23日 · 指标 2.10.0
—
dart-archive/csslib
A library for parsing CSS.
BSD-3-Clause2026年8月2日 · 指标 2.10.0
PyPI
pqzx/html2docx
Convert html to docx
MIT2026年8月19日 · 指标 2.10.0
npm
syntax-tree/hast-util-to-jsx-runtime
hast utility to transform to preact, react, solid, svelte, vue, etc
MIT2026年8月31日 · 指标 2.10.0
crates.io
yoshuawuyts/fd-lock
Advisory cross-platform file locks using file descriptors
Apache-2.02026年8月22日 · 指标 2.10.0
—
JeffreySarnoff/NamedTupleTools.jl
some utilities for working with NamedTuples
MIT2026年8月8日 · 指标 2.10.0
PyPI
Kazhuu/asm2cfg
Python command-line tool and GDB extension to view and save x86, ARM and objdump assembly files as control-flow graph (CFG) pdf files
MIT2026年8月23日 · 指标 2.10.0
crates.io
droundy/arrayref
Two macros for taking array references in rust.
BSD-2-Clause2026年8月8日 · 指标 2.10.0
Maven
ldbc/ldbc_graphalytics
Generic driver for LDBC Graphalytics implementation
Apache-2.02026年8月5日 · 指标 2.10.0
Go
remyoudompheng/bigfft
Big integer multiplication library for Go using Fast Fourier transform
BSD-3-Clause2026年8月22日 · 指标 2.10.0
RubyGems · npm
simplecov-ruby/simplecov-html
HTML formatter for SimpleCov code coverage tool for ruby 1.9+
MIT2026年7月22日 · 指标 2.10.0
Go
Azure/go-ansiterm
Go package for ANSI terminal emulation in Windows
MIT2026年8月22日 · 指标 2.10.0
crates.io
SSheldon/rust-dispatch
Rust wrapper for Apple's Grand Central Dispatch.
无许可证2026年8月21日 · 指标 2.10.0
Packagist
Treinetic/ImageArtist
ImageArtist is a php gd Wrapper which makes Image manipulation insanely easy, we introduce ImageArtist as Photoshop for php
MIT2026年7月28日 · 指标 2.10.0
RubyGems
kufu/kiji
e-Gov 外部連携API 連携 gem
MIT2026年7月21日 · 指标 2.10.0
Packagist
psalm/psalm-plugin-doctrine
Stubs to let Psalm understand Doctrine better
无许可证2026年7月26日 · 指标 2.10.0
Packagist · npm
silverstripe/silverstripe-gridfield-bulk-editing-tools
Silverstripe CMS GridField components for bulk upload and bulk record edit, unlink & delete :package::boom:
BSD-3-Clause2026年7月22日 · 指标 2.10.0
npm
slevithan/emoji-regex-xs
A regular expression to match all emoji-only symbols
MIT2026年8月27日 · 指标 2.10.0
PyPI
wntrblm/flask-talisman
HTTP security headers for Flask
Apache-2.02026年8月27日 · 指标 2.10.0
npm
QubitProducts/gcs-browser-upload
Resumable chunked uploads to Google Cloud Storage from the browser
MIT2026年8月4日 · 指标 2.10.0
npm
blakeembrey/array-flatten
Flatten a multi-dimensional array in JavaScript.
MIT2026年8月4日 · 指标 2.10.0
RubyGems
calabash/calabash-ios-server
An embedded HTTP server for performing queries and test automation
自定义许可证2026年7月18日 · 指标 2.10.0
Packagist
httpsoft/http-message
Strict and fast implementation of PSR-7 and PSR-17
MIT2026年7月30日 · 指标 2.10.0
PyPI
jazzband/pathlib2
Backport of pathlib aiming to support the full stdlib Python API.
MIT2026年8月27日 · 指标 2.10.0
—
marcmerlin/SmartMatrix_GFX
SmartMatrix::GFX: Allow using Adafruit::GFX as well as FastLED_NeoMatrix code with SmartMatrix backend,
GPL-3.02026年8月1日 · 指标 2.10.0
PyPI
online-judge-tools/template-generator
Analyze problems of competitive programming and automatically generate boilerplate
MIT2026年9月8日 · 指标 2.10.0