FStar
该项目围绕「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].」构建,适用于实际场景的开源实践,提供可复用的工具链与集成方式。
HYSEN LABS 项目目录
许可证 标签 · 精选仓库与深度解析。
该项目围绕「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].」构建,适用于实际场景的开源实践,提供可复用的工具链与集成方式。
由 Google Cloud 专业服务团队开发的通用解决方案和工具。此存储库及其内容不是官方支持的 Google 产品。
该项目围绕「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.」构建,适用于实际场景的开源实践,提供可复用的工具链与集成方式。
Apache CloudStack 是一个开源基础设施即服务 (IaaS) 云计算平台。
将 Envoy 代理作为独立或基于 Kubernetes 的应用程序网关进行管理。
该项目围绕「VibiumDev/vibium」构建,面向真实业务场景提供可复用的开源实践方案,支持稳定落地与可扩展的项目实践。
适合您的 Kubernetes 的开发人员友好的 PaaS。使用 git Push 部署应用程序,通过直观的 Web 界面管理服务,并使用 Kubernetes 的全部功能,而无需编写 YAML。
该项目围绕「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.」构建,适用于实际场景的开源实践,提供可复用的工具链与集成方式。
该项目围绕「Project-N-E-K-O/N.E.K.O」构建,面向真实业务场景提供可复用的开源实践方案,支持稳定落地与可扩展的项目实践。
该项目围绕「Miles is an enterprise-facing reinforcement learning framework for LLM and VLM post-training, forked from and co-evolving with slime.」构建,适用于实际场景的开源实践,提供可复用的工具链与集成方式。
适用于任意数据源组合的查询引擎。像数据库一样查询您的文件和 API!
克劳德开源代码的集合。未添加任何注释、文档或构建工具,请使用 claude-code-source-code 作为研究和注释版本。
该项目围绕「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).」构建,适用于实际场景的开源实践,提供可复用的工具链与集成方式。
该项目围绕「FluidInference/FluidAudio」构建,面向真实业务场景提供可复用的开源实践方案,支持稳定落地与可扩展的项目实践。
认为它完成了。开箱即用的开源 AI 代理 AI Agent 。
OpenTelemetry 自动检测和 Java 检测库。
该项目围绕「pnnbao97/VieNeu-TTS」构建,面向真实业务场景提供可复用的开源实践方案,支持稳定落地与可扩展的项目实践。
Java 安全引擎(身份验证、授权、多框架):OpenID Connect、SAML2、CAS、OAuth、LDAP、JWT...
Mirage 持久内核:将 LLM 编译成 MegaKernel。快速入门 Mirage 允许您仅使用几十行 Python 将 Hugging Face 模型库中的 LLM 编译为巨型内核 - 主要用于定义内核的输入和输出。
LUPINE 是一个 GPU over IP 桥接器,允许远程计算机上的 GPU 连接到仅使用 CPU 的计算机。