HYSEN LABS 專案目錄

#成熟專案

成熟度 標籤 · 精選儲存庫與深度解析。

1407 個精選開源專案
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
AlephAITech

WorkBuddyGuide

2,960

一本實用的開源指南,透過真實世界的工作流程掌握 WorkBuddy。開源的 WorkBuddy 實戰藍書皮:教學、真實工作流程、技能、MCP、自動化與多智能體實作。

PythonAI 與機器學習423 個 Fork
CanineHQ

canine

2,932

適合您的 Kubernetes 的開發人員友好的 PaaS。使用 git Push 部署應用程序,透過直覺的 Web 介面管理服務,並使用 Kubernetes 的全部功能,而無需編寫 YAML。

Ruby雲原生與 DevOps119 個 Fork
VibiumDev

vibium

2,932

此專案圍繞「VibiumDev/vibium」建置,面向真實業務場景,提供可重複使用、可持續維運的開源實作。

Go開發工具186 個 Fork