公共利益软件检验 版本化方法论

软件健康档案， 公开可查。

桥梁、电梯、食品都有公开的检验记录，支撑它们运行的软件却没有。这里就是这份记录：可维护性、工程质量、安全态势、生态采用与治理，对每一个仓库以同一标准度量。

01附带证据02结果不受付费影响03方法论版本化

申请扫描

对具有较高公共价值的仓库免费。私有及小众仓库按既定认证流程办理。

公共队列运行正常
↗
可复现的证据每一项已发布结果均链接至可检验的原始证据与方法论。
◇
独立的结果付费、赞助或供应商关系均不能改变已发布的结果。
≈
信号，而非担保结果可为审查与采购提供参考，但不能替代专家判断。
实时目录

目前已收录的全部仓库。

迄今已纳入记录的每一个仓库，可搜索、可排序，每一条都可展开完整报告及其证据。

已收录仓库
98,403
受检月下载量
650B
健康指数中位数
59 中等
98,403 条记录按热度排序 · 按标签浏览 · 记录统计
Go
50中等健康指数
swaggo/gin-swagger
gin middleware to automatically generate RESTful API documentation with Swagger 2.0.
Go★ 4,2372026年9月23日
MIT2026年9月23日 · 指标 2.10.0
—
96卓越健康指数
RobotLocomotion/drake
Model-based design and verification for robotics.
C++★ 4,2352026年10月24日
自定义许可证2026年10月24日 · 指标 2.10.0
Maven
67良好健康指数
jboss-javassist/javassist
Java bytecode engineering toolkit
Java★ 4,2352026年10月24日
自定义许可证2026年10月24日 · 指标 2.10.0
npm · PyPI
87优秀健康指数
WebODM/WebODM
User-friendly, commercial-grade software for processing aerial imagery. ✈️ Download it for free!
Python · JavaScript★ 4,2342026年10月24日
AGPL-3.02026年10月24日 · 指标 2.10.0
npm
80优秀健康指数
Opencode-DCP/opencode-dynamic-context-pruning
Dynamic context pruning plugin for OpenCode - intelligently manages conversation context to optimize token usage
TypeScript · Python★ 4,232↓ 33.6K/月2026年9月18日
AGPL-3.02026年9月18日 · 指标 2.10.0
PyPI
86优秀健康指数
pex-tool/pex
A tool for generating .pex (Python EXecutable) files, lock files and venvs.
Python★ 4,230↓ 4.3M/月2026年10月24日
Apache-2.02026年10月24日 · 指标 2.10.0
Maven
77良好健康指数
lukas-krecan/ShedLock
Distributed lock for your scheduled tasks
Java★ 4,2292026年10月19日
Apache-2.02026年10月19日 · 指标 2.10.0
crates.io
92优秀健康指数
ironcalc/IronCalc
Main engine of the IronCalc ecosystem
Rust · TypeScript★ 4,228↓ 80.4K/月2026年10月24日
Apache-2.02026年10月24日 · 指标 2.10.0
Go · npm
94卓越健康指数
irbis-sh/zen-desktop
Ad-blocker and privacy guard for Windows, macOS and Linux.
Go · TypeScript★ 4,2272026年9月18日
MIT2026年9月18日 · 指标 2.10.0
Go · crates.io
69良好健康指数
guohuiyuan/go-music-dl
一个基于 Go 语言的全网音乐搜索与下载工具。支持 CLI 命令行与 Web 服务双模式，内置网易云、QQ、酷狗、Bilibili、汽水音乐等 10+ 个主流平台，支持多源并发搜索与无损音质解析。music-dl交流群：755087923
Go · JavaScript★ 4,2262026年9月11日
AGPL-3.02026年9月11日 · 指标 2.10.0
crates.io
91优秀健康指数
oxipng/oxipng
Multithreaded PNG optimizer written in Rust
Rust★ 4,226↓ 172.6K/月2026年9月18日
MIT2026年9月18日 · 指标 2.10.0
Go
84优秀健康指数
nextdns/nextdns
NextDNS CLI client (DoH Proxy)
Go★ 4,2252026年10月23日
MIT2026年10月23日 · 指标 2.10.0
NuGet
18危急健康指数
nefarius/ViGEmBus
Windows kernel-mode driver emulating well-known USB game controllers.
C++★ 4,2242026年10月24日
BSD-3-Clause2026年10月24日 · 指标 2.10.0
npm
75良好健康指数
LegendApp/legend-state
Legend-State is a super fast and powerful state library that enables fine-grained reactivity and easy automatic persistence
TypeScript★ 4,223↓ 429.4K/月2026年10月24日
MIT2026年10月24日 · 指标 2.10.0
crates.io
86优秀健康指数
crossterm-rs/crossterm
Cross platform terminal library rust
Rust★ 4,223↓ 14.7M/月2026年9月17日
MIT2026年9月17日 · 指标 2.10.0
npm
95卓越健康指数
sass/dart-sass
The reference implementation of Sass, written in Dart.
Dart · TypeScript★ 4,221↓ 119M/月2026年9月17日
MIT2026年9月17日 · 指标 2.10.0
PyPI
77良好健康指数
MaartenGr/KeyBERT
Minimal keyword extraction with BERT
Python★ 4,219↓ 415.1K/月2026年9月17日
MIT2026年9月17日 · 指标 2.10.0
Go
86优秀健康指数
knadh/koanf
Simple, extremely lightweight, extensible, configuration management library for Go. Supports JSON, TOML, YAML, env, command line, file, S3 etc. Alternative to viper.
Go★ 4,2182026年10月21日
MIT2026年10月21日 · 指标 2.10.0
Go · npm · PyPI
19危急健康指数
kubeflow/pipelines
Machine Learning Pipelines for Kubeflow
Go · TypeScript · Python★ 4,2142026年9月17日
Apache-2.02026年9月17日 · 指标 2.10.0
PyPI
100卓越健康指数
pydata/xarray
N-D labeled arrays and datasets in Python
Python★ 4,214↓ 10.4M/月2026年10月24日
Apache-2.02026年10月24日 · 指标 2.10.0
npm
88优秀健康指数
SylarLong/iztro
⭐This is a lightweight kit for generating astrolabes for Zi Wei Dou Shu (The Purple Star Astrology), an ancient Chinese astrology. It allows you to obtain your horoscope and personality analysis. 支持多语言轻量级获取紫微斗数排盘信息的javascript开源库。
TypeScript★ 4,213↓ 121.4K/月2026年10月11日
MIT2026年10月11日 · 指标 2.10.0
crates.io · npm
94卓越健康指数
agentclientprotocol/agent-client-protocol
A protocol for connecting any editor to any agent
Rust★ 4,212↓ 689.7K/月2026年9月12日
Apache-2.02026年9月12日 · 指标 2.10.0
Go
75良好健康指数
anthonynsimon/bild
Image processing algorithms in pure Go
Go★ 4,2122026年9月16日
MIT2026年9月16日 · 指标 2.10.0
Packagist
77良好健康指数
symfony/flex
Composer plugin for Symfony
PHP★ 4,212↓ 6.4M/月2026年10月24日
MIT2026年10月24日 · 指标 2.10.0
PyPI · npm
89优秀健康指数
CodeGraphContext/CodeGraphContext
An MCP server plus a CLI tool that indexes local code into a graph database to provide context to AI assistants.
Python · TypeScript★ 4,209↓ 15.4K/月2026年9月18日
MIT2026年9月18日 · 指标 2.10.0
PyPI
68良好健康指数
facebookresearch/nevergrad
A Python toolbox for performing gradient-free optimization
Python★ 4,206↓ 393.1K/月2026年9月17日
MIT2026年9月17日 · 指标 2.10.0
npm
89优秀健康指数
securingsincity/react-ace
React Ace Component
TypeScript · JavaScript★ 4,205↓ 2.7M/月2026年10月21日
MIT2026年10月21日 · 指标 2.10.0
PyPI
87优秀健康指数
eclipse-sumo/sumo
Eclipse SUMO is an open source, highly portable, microscopic and continuous traffic simulation package designed to handle large networks. It allows for intermodal simulation including pedestrians and comes with a large set of tools for scenario creation.
Python · C++★ 4,2022026年10月8日
EPL-2.02026年10月8日 · 指标 2.10.0