c

强大的系统容器与虚拟机管理器

开源订阅计费与支付平台

云原生API网关与AI网关

一个模型上下文协议（MCP）服务器和命令行工具，为处理iOS和macOS项目时的智能体使用提供工具。

SuiteCRM：面向全球的开源客户关系管理系统

社会工程学工具【网络摄像头与麦克风访问及定位追踪】支持{Python, JavaScript, PHP}

一款开源网络压力测试工具，但它是初音未来主题的

GitHub Actions 的静态分析

适用于Git用户的Windows/macOS/Linux图形界面客户端

🧩 ReVanced 补丁合集

将您的HDD、SSD和NVMe驱动器添加到群晖兼容驱动器数据库及更多功能

The seL4 microkernel

⚡ 无需Python的Rust推理服务器 — 兼容OpenAI-API。支持GGUF与SafeTensors、热模型切换、自动发现、单二进制文件。现在免费，永远免费。

PHP安全通信库

Rust 程序设计语言（2024 edition 已编写完成）

Sigma文件管理器是一款面向Windows和Linux系统的免费开源现代化文件管理应用程序，其开发迭代迅速。

Microsoft生成引擎（MSBuild）是.NET和Visual Studio的生成平台

OpenSSF Scorecard - Security health metrics for Open Source

AI 聊天浏览器：快速、完整的网页应用，一键访问 ChatGPT / Claude / Bard / Bing / Llama2！我每天使用它二十次。

一个异常检测库，包含最先进的算法以及实验管理、超参数优化和边缘推理等功能。

若依AI是一个全栈式AI开发平台，旨在帮助开发者快速构建和部署个性化AI应用。

🦸 AI 编程超能力 · 中文增强版 — superpowers（116k+ ⭐）完整汉化 + 6 个中国原创 skills，让 Claude Code / Copilot CLI / Hermes Agent / Cursor / Windsurf / Kiro / Gemini CLI 等 16 款 AI 编程工具真正会干活

Rocq证明器是交互式定理证明器（或称证明助手），提供形式化语言来编写数学定义、可执行算法和定理，并配备半交互式开发机器验证证明的环境

🧊 开源大语言模型可观测性平台。一行代码实现监控、评估与实验。YC W23 🍓