repository

开源免费——经阿里巴巴规模实战验证。混合架构代码审查工具：确定性流水线+LLM智能体，精确到行的注释，内置精细调优规则集（空指针异常、线程安全、跨站脚本攻击、SQL注入），兼容OpenAI与Anthropic。

Harness 开源平台是一个端到端的开发者平台，包含源代码控制管理、持续集成与持续交付流水线、托管开发环境以及制品仓库。

PM技能市场：100多种代理技能、命令和插件——涵盖从发现、策略、执行、发布到增长的全流程

构建 70 个从初级到高级的项目，以便任何人都可以学习、构建、用作参考，甚至直接复制。游戏化网络安全学习👇

[镜像] Gentoo 官方 ebuild 软件仓库

为Obtainium推荐的应用程序集合。

Terra软件包单体仓库

为Obtainium推荐的应用程序集合。

通用元数据存储库（CMR）是一个高性能、高质量、持续演进的元数据系统，用于编录地球科学数据及相关服务元数据记录。这些元数据记录通过基于标准协议与API的程序化接口进行注册、修改、发现和访问。

📦 一款多功能的 Scoop 存储桶，从开发工具演变为综合软件庇护所。最初专注于应用程序和游戏的 DEV 工具，现在扩展到包括实用程序、应用程序和日常软件。通过 GitHub CI/CD 实现自动化，以实现可靠的包管理。

用于创建 S3 存储桶的 Terraform 模块，可选择为外部 CI/CD 系统创建 IAM 用户

按不同仓库组织的所有Rocq和Coq相关opam包存档

LizardByte官方Homebrew软件源

斯坦福数字对象注册库的管理发现接口