r

GitHub Actions 的静态分析

🎉 一款免费开源、支持视频/漫画/小说扩展源的多功能应用，支持 Android、Windows 及 Web 平台。

高级实时屏幕翻译工具，适用于游戏、视频中的硬编码字幕、静态文本等场景。

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

The seL4 microkernel

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

用于轻松管理多终端窗口的 Neovim Lua 插件

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

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

Neovim 插件，用于管理文件系统及其他树状结构。

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

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

由 @kognise 撰写的技术详解，完整阐述计算机如何从头到尾运行程序。

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

OpenSSF Scorecard - Security health metrics for Open Source

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

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

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

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

用于制作和游玩泰拉瑞亚模组的修改工具，支持泰拉瑞亚1.4及更早版本

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

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

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

保持代码整洁无瑕