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
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
VibiumDev

vibium

2,933

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

Go开发工具186 个 Fork
CanineHQ

canine

2,932

适合您的 Kubernetes 的开发人员友好的 PaaS。使用 git Push 部署应用程序,通过直观的 Web 界面管理服务,并使用 Kubernetes 的全部功能,而无需编写 YAML。

Ruby云原生与 DevOps119 个 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
Project-N-E-K-O

N.E.K.O

2,896

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

PythonAI 与机器学习320 个 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
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
FluidInference

FluidAudio

2,762

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

Swift移动开发415 个 Fork
pnnbao97

VieNeu-TTS

2,573

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

Python开发工具777 个 Fork
mirage-project

mirage

2,490

Mirage 持久内核:将 LLM 编译成 MegaKernel。快速入门 Mirage 允许您仅使用几十行 Python 将 Hugging Face 模型库中的 LLM 编译为巨型内核 - 主要用于定义内核的输入和输出。

Cuda开发工具252 个 Fork