c

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

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

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

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

OpenSSF Scorecard - Security health metrics for Open Source

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

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

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

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

Dockhand - 你会喜欢的Docker管理工具

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

Box64 - 面向ARM64、RV64和龙芯架构Linux设备的创新型Linux用户空间x86_64模拟器

自动化Calibre-Web且保留Calibre全部功能！让电子书管理全自动化和简易化！

BleachBit 系统清理工具，适用于 Windows 和 Linux

保持代码整洁无瑕

📱 Nextcloud 安卓客户端

小代码体积的Protocol Buffers实现

简化着色器开发流程

Kalibr视觉惯性标定工具箱

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

界面与功能类似 Sonarr 但专为音乐打造

在手机、可穿戴设备及AI原生硬件上本地运行人工智能

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

企业级开源PostgreSQL发行版，具备高可用、PITR、IaC、监控、12个内核分支及460个PG扩展。将一流产品集成为统一平台，像专家一样自主托管Postgres！