ss

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

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

OpenSSF Scorecard - Security health metrics for Open Source

SkiaSharp是基于谷歌Skia图形库的跨平台.NET二维图形接口，提供统一的二维应用程序接口，可应用于移动端、服务器端和桌面端模型的图像渲染。

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

支持本地文件与 YouTube Music 的 Android 最可爱 Material 3 表现力音乐播放器

保持代码整洁无瑕

✨ 完美的游戏流媒体虚拟显示

构建无懈可击爬虫的全能框架

用于游戏和视频软件的通用后处理注入器。

基于Dineshkarthik项目的电报视频下载工具，支持跨平台运行，可通过网页查看下载进度，支持机器人指令触发下载，可下载已加入私有群的媒体文件（存在下载限制），单文件下载上限为2GiB

反深度包检测软件

tun2socks——基于gVisor TCP/IP协议栈

Express.js 官方网站

超轻量级、零依赖、语义化HTML、CSS、JS UI库。压缩后约8KB。

原生AI开源Next.js电商平台。基于Stripe支付系统驱动。搭载类型安全的商业SDK，实现极速性能。专为AI开发环境打造，兼容Claude、Codex、Cursor等工具。

qpdf：一个内容保持的PDF文档转换器

规范的libwebsockets.org网络库

建筑代理的开放框架

基于 Rust 的 DNS 客户端、服务器与解析器

具备现代化界面和丰富增强功能的F-Droid客户端

⚙️ WP-CLI 框架

直观的类电子表格界面，让所有技术水平的用户都能直接查看、编辑、查询和协作处理Postgres数据——100%开源且支持自托管，具备原生Postgres访问控制功能。

Git与GitHub开源课件