HYSEN LABS 專案目錄

#Apache 2.0 授權條款

授權標籤 · 精選儲存庫與深度解析。

429 個精選開源專案

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

其他語言開發工具命令列跨平台

GoogleCloudPlatform

professional-services

★ 3,073

由 Google Cloud 專業服務團隊開發的通用解決方案和工具。此儲存庫及其內容不是官方支援的 Google 產品。

Python雲原生與 DevOps1,470 個 Fork

Python 雲端與 DevOps 命令列伺服器

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

Python 開發工具程式庫伺服器

apache

cloudstack

★ 3,058

Apache CloudStack 是一個開源基礎架構即服務 (IaaS) 雲端運算平台。

Java雲原生與 DevOps1,383 個 Fork

Java 雲端與 DevOps 可自託管伺服器

envoyproxy

gateway

★ 3,030

將 Envoy 代理程式作為獨立或基於 Kubernetes 的應用程式閘道進行管理。

Go雲原生與 DevOps864 個 Fork

Go 雲端與 DevOps 雲端原生伺服器

VibiumDev

vibium

★ 2,933

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

Go開發工具186 個 Fork

Go 開發工具命令列桌面端

CanineHQ

canine

★ 2,932

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

Ruby雲原生與 DevOps119 個 Fork

Ruby 雲端與 DevOps 可自託管伺服器

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

Dart AI 與機器學習桌面應用程式行動端

Project-N-E-K-O

N.E.K.O

★ 2,896

此專案圍繞「Project-N-E-K-O/N.E.K.O」建置，面向真實業務場景，提供可重複使用、可持續維運的開源實作。

PythonAI 與機器學習320 個 Fork

Python AI 與機器學習桌面應用程式桌面端

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

Python AI 與機器學習命令列跨平台

obi1kenobi

trustfall

★ 2,884

適用於任意資料來源組合的查詢引擎。像資料庫一樣查詢您的文件和 API！

Rust資料庫與儲存93 個 Fork

Rust 資料庫與儲存命令列跨平台

chauncygu

collection-claude-code-source-code

★ 2,831

克勞德開源程式碼的集合。未新增任何註解、文件或建置工具，請使用 claude-code-source-code 作為研究和註解版本。

TypeScript開發工具2,456 個 Fork

TypeScript 開發工具 Web 服務跨平台

opensolon

solon

★ 2,777

此專案圍繞「Java enterprise application development framework for full scenario: Restrained, Efficient, Open, Ecologicalll!!! 700% higher concurrency 50% memory savings Startup is 10 times faster. Packing 90% smaller; Compatible with java8 ~ java25; Supports LTS. (Replaceable spring).」建置，聚焦實際場景的開源實作，提供可重用的工具鏈與整合方式。

JavaAI 與機器學習281 個 Fork

Java AI 與機器學習程式庫跨平台