verus-lang
★ 3,039verus
已验证 Rust 的低级系统代码。 Verus 没有添加运行时检查，而是依靠强大的求解器来证明代码是正确的。
HYSEN LABS 项目目录
#开发工具
用途 标签 · 精选仓库与深度解析。
354 个精选开源项目
zerx-lab
★ 3,038FluxDown
FluxDown 是一个媒体下载和处理实用程序，具有可恢复传输、队列管理和本地自动化控制。
tox-dev
★ 3,022pipdeptree
一个命令行实用程序，用于显示已安装的 Python 包的依赖关系树。
VibiumDev
★ 2,933vibium
该项目围绕「VibiumDev/vibium」构建，面向真实业务场景提供可复用的开源实践方案，支持稳定落地与可扩展的项目实践。
Taiko2k
★ 2,855Tauon
该项目围绕「Taiko2k/Tauon」构建，面向真实业务场景提供可复用的开源实践方案，支持稳定落地与可扩展的项目实践。
samuelgursky
★ 2,842davinci-resolve-mcp
DaVinci Resolve Studio 的 MCP 服务器集成。 DaVinci Resolve MCP 服务器 blue.svg) 18%20tools-blueviolet.svg) 模型上下文协议 (MCP) 服务器，可让 AI 助手通过官方脚本 API 控制 DaVinci Resolve Studio。
chauncygu
★ 2,831collection-claude-code-source-code
克劳德开源代码的集合。未添加任何注释、文档或构建工具，请使用 claude-code-source-code 作为研究和注释版本。
openclaw
★ 2,736wacli
WhatsApp CLI：同步、搜索、发送。从源代码构建 wacli 需要 Go 1.26.5 或更高版本并使用 go-sqlite3，因此需要 cgo + C 编译器。
该项目围绕「FiorenMas/Revanced-And-Revanced-Extended-Non-Root」构建，面向真实业务场景提供可复用的开源实践方案，支持稳定落地与可扩展的项目实践。
immich-power-tools
★ 2,695immich-power-tools
用于组织您的 immich 图书馆的强大工具。 Immich Power Tools 一个非官方的 immich 客户端，提供更好的工具来组织和管理您的 immich 帐户。
社区管理的域列表。移至域列表社区 该项目管理域列表，在项目 V 中用作路由目的的地理站点。
open-telemetry
★ 2,625opentelemetry-java-instrumentation
OpenTelemetry 自动检测和 Java 检测库。
meta-pytorch
★ 2,606torchrec
用于推荐系统的 Pytorch 域库。 TorchRec TorchRec** 是一个 PyTorch 域库，旨在提供大规模推荐系统 (RecSys) 所需的常见稀疏性和并行性原语。
loomio
★ 2,598loomio
Loomio 是一种协作决策工具。 Loomio 是协作组织的决策工具。
youlaitech
★ 2,592vue3-element-admin
该项目围绕「Vue 3 + Vite 7+ TypeScript + element-plus vue-element-admin vue3 .」构建，适用于实际场景的开源实践，提供可复用的工具链与集成方式。
pnnbao97
★ 2,573VieNeu-TTS
该项目围绕「pnnbao97/VieNeu-TTS」构建，面向真实业务场景提供可复用的开源实践方案，支持稳定落地与可扩展的项目实践。
microsoft
★ 2,517CsWin32
一个源生成器，用于将一组用户定义的 Win32 P/Invoke 方法和支持类型添加到 C# 项目。
chromebrew
★ 2,516chromebrew
该项目围绕「Package manager for Chrome OS. The only missing pieces to use them as full-featured Linux distro were gcc and make with their dependencies.」构建，适用于实际场景的开源实践，提供可复用的工具链与集成方式。
actions
★ 2,497labeler
自动标记拉取请求的操作。 V7 中的更改内部迁移到 ESM 以支持最新的 @actions/* 软件包版本。
mirage-project
★ 2,490mirage
Mirage 持久内核：将 LLM 编译成 MegaKernel。快速入门 Mirage 允许您仅使用几十行 Python 将 Hugging Face 模型库中的 LLM 编译为巨型内核 - 主要用于定义内核的输入和输出。