verus
已驗證 Rust 的低階系統代碼。 Verus 沒有加入執行時間檢查,而是依靠強大的求解器來證明程式碼是正確的。
HYSEN LABS 專案目錄
用途 標籤 · 精選儲存庫與深度解析。
已驗證 Rust 的低階系統代碼。 Verus 沒有加入執行時間檢查,而是依靠強大的求解器來證明程式碼是正確的。
FluxDown 是一個媒體下載和處理實用程序,具有可恢復傳輸、佇列管理和本地自動化控制。
一個命令列實用程序,用於顯示已安裝的 Python 套件的依賴關係樹。
此專案圍繞「VibiumDev/vibium」建置,面向真實業務場景,提供可重複使用、可持續維運的開源實作。
此專案圍繞「Taiko2k/Tauon」建置,面向真實業務場景,提供可重複使用、可持續維運的開源實作。
DaVinci Resolve Studio 的 MCP 伺服器整合。 DaVinci Resolve MCP 伺服器 blue.svg) 18%20tools-blueviolet.svg) 模型上下文協定 (MCP) 伺服器,可讓 AI 助理透過官方腳本 API 控制 DaVinci Resolve Studio。
克勞德開源程式碼的集合。未新增任何註解、文件或建置工具,請使用 claude-code-source-code 作為研究和註解版本。
WhatsApp CLI:同步、搜尋、發送。從原始碼建立 wacli 需要 Go 1.26.5 或更高版本並使用 go-sqlite3,因此需要 cgo + C 編譯器。
此專案圍繞「FiorenMas/Revanced-And-Revanced-Extended-Non-Root」建置,面向真實業務場景,提供可重複使用、可持續維運的開源實作。
用於組織您的 immich 圖書館的強大工具。 Immich Power Tools 一個非官方的 immich 用戶端,提供更好的工具來組織和管理您的 immich 帳戶。
社區管理的網域列表。移至網域列表社群 此專案管理網域列表,在專案 V 中用作路由目的的地理網站。
OpenTelemetry 自動檢測和 Java 檢測程式庫。
用於推薦系統的 Pytorch 域庫。 TorchRec TorchRec** 是一個 PyTorch 域庫,旨在提供大規模推薦系統 (RecSys) 所需的常見稀疏性和平行性原語。
Loomio 是一種協作決策工具。 Loomio 是協作組織的決策工具。
此專案圍繞「Vue 3 + Vite 7+ TypeScript + element-plus vue-element-admin vue3 .」建置,聚焦實際場景的開源實作,提供可重用的工具鏈與整合方式。
此專案圍繞「pnnbao97/VieNeu-TTS」建置,面向真實業務場景,提供可重複使用、可持續維運的開源實作。
一個來源產生器,用於將一組使用者定義的 Win32 P/Invoke 方法和支援類型新增至 C# 專案。
此專案圍繞「Package manager for Chrome OS. The only missing pieces to use them as full-featured Linux distro were gcc and make with their dependencies.」建置,聚焦實際場景的開源實作,提供可重用的工具鏈與整合方式。
自動標記拉取請求的操作。 V7 中的變更內部遷移到 ESM 以支援最新的 @actions/* 軟體包版本。
Mirage 持久性內核:將 LLM 編譯成 MegaKernel。快速入門 Mirage 可讓您僅使用數十行 Python 將 Hugging Face 模型庫中的 LLM 編譯為巨型核心 - 主要用於定義核心的輸入和輸出。