HYSEN LABS 项目目录

开发工具

精选 开发工具 仓库,配有精准标签与实用解析。

800 个精选开源项目
textlint

textlint

3,187

该项目围绕「textlint/textlint」构建,面向真实业务场景提供可复用的开源实践方案,支持稳定落地与可扩展的项目实践。

TypeScript开发工具167 个 Fork
3,135

该项目围绕「A game engine with a fully bindless, GPU-driven renderer featuring real-time path-traced global illumination, hardware ray tracing, and a physics simulation running at 200Hz, built over 10+ years of R&D.」构建,适用于实际场景的开源实践,提供可复用的工具链与集成方式。

C++游戏开发276 个 Fork
petergoldstein

dalli

3,113

该项目围绕「High performance memcached client for Ruby. Valid examples: :, /, |, ., -, _, # Security Note By default, Dalli uses Ruby's Marshal for serialization.」构建,适用于实际场景的开源实践,提供可复用的工具链与集成方式。

Ruby开发工具468 个 Fork
FStarLang

FStar

3,104

该项目围绕「A Proof-oriented Programming Language. [fstar-mode.el]: Emacs mode for F* [fstar-vscode-assistant]: VS Code plugin for F* More details on [editor support] are available on the [F\* wiki].」构建,适用于实际场景的开源实践,提供可复用的工具链与集成方式。

F*开发工具265 个 Fork
music-assistant

server

3,070

该项目围绕「Music Assistant is a free, opensource Media library manager that connects to your streaming services and a wide range of connected speakers. The server is the beating heart, the core of Music Assistant and must run on an always-on device like a Raspberry Pi, a NAS or an Intel NUC or alike.」构建,适用于实际场景的开源实践,提供可复用的工具链与集成方式。

Python开发工具597 个 Fork
verus-lang

verus

3,039

已验证 Rust 的低级系统代码。 Verus 没有添加运行时检查,而是依靠强大的求解器来证明代码是正确的。

Rust开发工具220 个 Fork
VibiumDev

vibium

2,932

该项目围绕「VibiumDev/vibium」构建,面向真实业务场景提供可复用的开源实践方案,支持稳定落地与可扩展的项目实践。

Go开发工具186 个 Fork
foss42

apidash

2,909

该项目围绕「API Dash is a beautiful AI-powered open-source cross-platform (Desktop & Mobile) API Client built using Flutter which can help you easily create & customize your HTTP & GraphQL API requests, visually inspect responses and generate API integration code. A lightweight alternative to postman/insomnia.」构建,适用于实际场景的开源实践,提供可复用的工具链与集成方式。

DartAI 与机器学习1,007 个 Fork
radixark

miles

2,886

该项目围绕「Miles is an enterprise-facing reinforcement learning framework for LLM and VLM post-training, forked from and co-evolving with slime.」构建,适用于实际场景的开源实践,提供可复用的工具链与集成方式。

PythonAI 与机器学习496 个 Fork
Taiko2k

Tauon

2,855

该项目围绕「Taiko2k/Tauon」构建,面向真实业务场景提供可复用的开源实践方案,支持稳定落地与可扩展的项目实践。

Python开发工具139 个 Fork
2,842

DaVinci Resolve Studio 的 MCP 服务器集成。 DaVinci Resolve MCP 服务器 blue.svg) 18%20tools-blueviolet.svg) 模型上下文协议 (MCP) 服务器,可让 AI 助手通过官方脚本 API 控制 DaVinci Resolve Studio。

Python开发工具325 个 Fork