可复现的证据每一项已发布结果均链接至可检验的原始证据与方法论。
公共利益软件检验 版本化方法论
软件健康档案， 公开可查。
桥梁、电梯、食品都有公开的检验记录，支撑它们运行的软件却没有。这里就是这份记录：可维护性、工程质量、安全态势、生态采用与治理，对每一个仓库以同一标准度量。
01附带证据02结果不受付费影响03方法论版本化
独立的结果付费、赞助或供应商关系均不能改变已发布的结果。
信号，而非担保结果可为审查与采购提供参考，但不能替代专家判断。
实时目录
目前已收录的全部仓库。
迄今已纳入记录的每一个仓库，可搜索、可排序，每一条都可展开完整报告及其证据。
已收录仓库
67,611
已纳入公开记录的仓库——已完成检验，或已排队等待首次检验。不受下方目录筛选条件影响。
受检月下载量
558B
所有已收录仓库的月度软件包下载量之和，以软件包注册表报告为准——即公开记录所覆盖的依赖足迹。
健康指数中位数
60 中等
所有已检验仓库健康指数的中位值，按指标 2.10.0 计算——可作为解读任何单项结果的参照基准。
类型
仓库构建的是什么——库、应用程序、宿主扩展。证据无法作答的仓库归入「未分类」。
npm · PyPI
rzk-lang/rzk
An experimental proof assistant based on a type theory for synthetic ∞-categories.
无许可证2026年7月28日 · 指标 2.10.0
—
Rirusha/Cassette
Read-only mirror of https://gitlab.gnome.org/Rirusha/Cassette
GPL-3.02026年8月1日 · 指标 2.10.0
npm · PyPI
builder555/PineSAM
UI for Pinecil V2 - control it over BLE from your PC or your mobile.
MIT2026年7月27日 · 指标 2.10.0
npm
jonschlinkert/is-number
JavaScript/Node.js utility. Returns `true` if the value is a number or string number. Useful for checking regex match results, user input, parsed strings, etc.
MIT2026年8月4日 · 指标 2.10.0
PyPI
abersheeran/a2wsgi
Convert WSGI app to ASGI app or ASGI app to WSGI app.
Apache-2.02026年8月27日 · 指标 2.10.0
npm
zertosh/loose-envify
Like envify but much faster
MIT2026年8月4日 · 指标 2.10.0
npm
then/is-promise
Test whether an object looks like a promises-a+ promise
MIT2026年8月4日 · 指标 2.10.0
—
fsharp/fsharp-compiler-docs
Doc build for FSharp.Compiler.Service
MIT2026年7月27日 · 指标 2.10.0
NuGet
CatLib/Framework
deprecated, use : https://github.com/CatLib/CatLib
MIT2026年7月27日 · 指标 2.10.0
crates.io
SergioBenitez/yansi
A dead simple ANSI terminal color painting library for Rust.
Apache-2.02026年8月8日 · 指标 2.10.0
Go
mitchellh/colorstring
Go (golang) library for colorizing strings for terminal output.
MIT2026年8月29日 · 指标 2.10.0
Go
mitchellh/reflectwalk
reflectwalk is a Go library for "walking" complex structures, similar to walking a filesystem.
MIT2026年7月28日 · 指标 2.10.0
RubyGems
Azure/azure-sdk-for-ruby
Ruby SDK for Azure Resource Manager: build and manage your Azure cloud infrastructure (Compute, Virtual Networks, Storage, etc...) using Ruby.
MIT2026年7月20日 · 指标 2.10.0
PyPI
a-r-j/ProteinWorkshop
Benchmarking framework for protein representation learning. Includes a large number of pre-training and downstream task datasets, models and training/task utilities. (ICLR 2024)
MIT2026年9月8日 · 指标 2.10.0
PyPI
pycroscopy/pycroscopy
Scientific analysis of nanoscale materials imaging data
MIT2026年7月24日 · 指标 2.10.0
npm
VenusProtocol/venus-protocol
BNB Smart Chain Venus Protocol
BSD-3-Clause2026年7月29日 · 指标 2.10.0
Packagist
amphp/parallel-functions
Simplified parallel processing for PHP based on Amp.
MIT2026年8月13日 · 指标 2.10.0
npm
luniehq/lunie
Lunie is staking, simplified ✨
Apache-2.02026年8月16日 · 指标 2.10.0
Go
PasarGuard/node
PasarGuard Node | Decentralized Censorship-Resistant Access Layer
GPL-3.02026年7月20日 · 指标 2.10.0
Maven
gitskarios/GithubAndroidSdk
[DEPRECATED] Android SDK for Github API
MIT2026年7月27日 · 指标 2.10.0
PyPI
grantjenks/py-tree-sitter-languages
Binary Python wheels for all tree sitter languages.
自定义许可证2026年8月11日 · 指标 2.10.0
PyPI
finalduty/cis-benchmarks-audit
Simple command line tool to check for compliance against CIS Benchmarks
自定义许可证2026年8月4日 · 指标 2.10.0
PyPI
florimondmanca/asgi-lifespan
Programmatic startup/shutdown of ASGI apps.
MIT2026年8月27日 · 指标 2.10.0
npm
sindresorhus/yn
Parse yes/no like values
MIT2026年8月29日 · 指标 2.10.0
PyPI · crates.io · npm +1
tree-sitter/tree-sitter-java
Java grammar for tree-sitter
MIT2026年8月27日 · 指标 2.10.0
RubyGems
defunkt/colored
Colors in your terminal. Unmaintained.
MIT2026年7月22日 · 指标 2.10.0
NuGet
dodobrands/WebAuthn.Net
WebAuthn (Passkeys) library for .NET.
MIT2026年9月7日 · 指标 2.10.0
Go
cpuguy83/go-md2man
该仓库未发布描述。
MIT2026年7月28日 · 指标 2.10.0
Packagist · npm
dmitrybubyakin/nova-medialibrary-field
Laravel Nova field for managing the Spatie media library
MIT2026年7月29日 · 指标 2.10.0
—
lancaster-university/microbit-dal
该仓库未发布描述。
自定义许可证2026年7月26日 · 指标 2.10.0