可复现的证据每一项已发布结果均链接至可检验的原始证据与方法论。
公共利益软件检验 版本化方法论
软件健康档案， 公开可查。
桥梁、电梯、食品都有公开的检验记录，支撑它们运行的软件却没有。这里就是这份记录：可维护性、工程质量、安全态势、生态采用与治理，对每一个仓库以同一标准度量。
01附带证据02结果不受付费影响03方法论版本化
独立的结果付费、赞助或供应商关系均不能改变已发布的结果。
信号，而非担保结果可为审查与采购提供参考，但不能替代专家判断。
实时目录
目前已收录的全部仓库。
迄今已纳入记录的每一个仓库，可搜索、可排序，每一条都可展开完整报告及其证据。
已收录仓库
97,591
已纳入公开记录的仓库——已完成检验，或已排队等待首次检验。不受下方目录筛选条件影响。
受检月下载量
649B
所有已收录仓库的月度软件包下载量之和，以软件包注册表报告为准——即公开记录所覆盖的依赖足迹。
健康指数中位数
59 中等
所有已检验仓库健康指数的中位值，按指标 2.10.0 计算——可作为解读任何单项结果的参照基准。
类型
仓库构建的是什么——库、应用程序、宿主扩展。证据无法作答的仓库归入「未分类」。
—
digama0/mathlib4
The math library of Lean 4
Apache-2.02026年10月21日 · 指标 2.10.0
npm
digicatapult/sqnc-process-management
Library for managing restricted process flows in SQNC
Apache-2.02026年9月10日 · 指标 2.10.0
npm
dignite-projects/abp-notifications
Archived; moved to dignite-projects/abp-modules/notifications
LGPL-3.02026年9月13日 · 指标 2.10.0
PyPI
dimagi/architect
A set of tools which enhances ORMs written in Python with more features
自定义许可证2026年10月8日 · 指标 2.10.0
PyPI
dimagi/celery
Distributed Task Queue (development branch)
自定义许可证2026年10月3日 · 指标 2.10.0
Go
dimuon/terraform-provider-ec
Terraform provider for the Elasticsearch Service and Elastic Cloud Enterprise
Apache-2.02026年9月15日 · 指标 2.10.0
Go
dinhxuanvu/operator-lifecycle-manager
A management framework for extending Kubernetes with Operators
Apache-2.02026年9月19日 · 指标 2.10.0
—
diogogmt/saml
SAML provides tools for SAML based single sign-on in Go
MIT2026年9月19日 · 指标 2.10.0
—
discursive-image/diroom
Part of the Discursive Image project. This is the ultimate orchestrator and wrapper around the other tools.
自定义许可证2026年9月19日 · 指标 2.10.0
PyPI
diverso-lab/splent_framework
该仓库未发布描述。
自定义许可证2026年10月9日 · 指标 2.10.0
—
divinity76/ethminer
Ethereum miner with OpenCL, CUDA and stratum support
GPL-3.02026年9月11日 · 指标 2.10.0
Go
dkropachev/gocqlx
All-In-One: CQL query builder, ORM and migration tool
Apache-2.02026年10月18日 · 指标 2.10.0
PyPI
dleviminzi/libratbag
A DBus daemon to configure input devices, mainly high-end and gaming mice
MIT2026年8月28日 · 指标 2.10.0
Packagist
dmaicher/orm
Doctrine Object Relational Mapper (ORM)
MIT2026年10月18日 · 指标 2.10.0
—
dmitrio95/MuseScore
MuseScore is an open source and free music notation software. For support, contribution, bug reports, visit MuseScore.org. Fork and make pull requests!
自定义许可证2026年9月12日 · 指标 2.10.0
Go
dmitry-applike/gosoline
Gosoline is our framework which fuels all of our Golang applications
无许可证2026年10月21日 · 指标 2.10.0
—
dmitryilyin/telegraf
The plugin-driven server agent for collecting & reporting metrics.
MIT2026年9月13日 · 指标 2.10.0
Go
dmitryk-dk/pb
Console progress bar for Golang
BSD-3-Clause2026年10月18日 · 指标 2.10.0
Go
dna2fork/go-mitmproxy
mitmproxy implemented with golang. 用 Golang 实现的中间人攻击（Man-in-the-middle），解析、监测、篡改 HTTP/HTTPS 流量。
MIT2026年9月20日 · 指标 2.10.0
npm
dnaroid/indexer
该仓库未发布描述。
无许可证2026年9月19日 · 指标 2.10.0
PyPI
dnil/scout
VCF visualization interface
BSD-3-Clause2026年9月13日 · 指标 2.10.0
Go
dnsoa/kratgo
Simple, lightweight and ultra-fast HTTP Cache to speed up your websites
GPL-3.02026年9月19日 · 指标 2.10.0
RubyGems
dockwa/griddler
Simplify receiving email in Rails
MIT2026年9月24日 · 指标 2.10.0
Go
dongdio/OpenList
A new AList Fork to Anti Trust Crisis
AGPL-3.02026年9月19日 · 指标 2.10.0
npm
douglaseggleton/vscode-icons
Icons for Visual Studio Code
MIT2026年9月13日 · 指标 2.10.0
crates.io
dr-bonez/json-patch
RFC 6902 (JSON Patch) / RFC 7396 (JSON Merge Patch) implementation for Rust
Apache-2.02026年9月20日 · 指标 2.10.0
Go
dreth/elem-go
Type-safe Go library for creating and manipulating HTML elements (with htmx helpers).
MIT2026年10月2日 · 指标 2.10.0
Go · PyPI
drewnorman/jt-slackbot
J.T. SlackBot is an interactive, machine-learning application that integrates with Slack to power a virtual J.T. to hang out in your workspace.
MIT2026年9月10日 · 指标 2.10.0
Go
drincruz/go-markdown-to-html
Markdown to HTML Converter
MIT2026年9月19日 · 指标 2.10.0
npm
dritelabs/accounts
该仓库未发布描述。
无许可证2026年9月10日 · 指标 2.10.0