HYSEN LABS 项目目录

#跨平台

平台 标签 · 精选仓库与深度解析。

480 个精选开源项目
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
verus-lang

verus

3,039

已验证 Rust 的低级系统代码。 Verus 没有添加运行时检查,而是依靠强大的求解器来证明代码是正确的。

Rust开发工具220 个 Fork
AlephAITech

WorkBuddyGuide

2,960

一本实用的开源指南,通过真实世界的工作流程掌握 WorkBuddy。开源的 WorkBuddy 实战蓝书皮:教程、真实工作流程、技能、MCP、自动化与多智能体实践。

PythonAI 与机器学习423 个 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
meta-pytorch

torchrec

2,606

用于推荐系统的 Pytorch 域库。 TorchRec TorchRec** 是一个 PyTorch 域库,旨在提供大规模推荐系统 (RecSys) 所需的常见稀疏性和并行性原语。

Python开发工具690 个 Fork
graphistry

pygraphistry

2,555

PyGraphistry 是一个 Python 库,可使用 GPU 加速的 Graphistry 可视化图形分析器快速加载、塑造、嵌入和探索大图。

Python数据与分析230 个 Fork
chromebrew

chromebrew

2,516

该项目围绕「Package manager for Chrome OS. The only missing pieces to use them as full-featured Linux distro were gcc and make with their dependencies.」构建,适用于实际场景的开源实践,提供可复用的工具链与集成方式。

Ruby开发工具421 个 Fork