ss

免费开源的macOS清理工具。零遥测的CleanMyMac替代方案。原生SwiftUI开发，支持定时自动清理、Xcode/Homebrew/系统缓存清理。采用MIT许可证。

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

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

OpenSSF Scorecard - Security health metrics for Open Source

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

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

保持代码整洁无瑕

具备运行时调度功能的性能可移植、长度无关单指令流多数据流

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

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

🚀 顶尖线性注意力模型的高效实现

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

Rivet Actors 是用于有状态工作负载的基础单元。

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

Express.js 官方网站

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

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

规范的libwebsockets.org网络库

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

⚙️ WP-CLI 框架

反深度包检测软件

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

支持本地模型（Nvidia Parakeet/Whisper）与云端模型（BYOK）的语音转文字听写应用，注重隐私优先，并实现跨平台兼容。

面向混合模型的智能路由器。