把 NumPy 风格的 Python 代码自动微分、向量化并 JIT 编译到 GPU/TPU,写起来像 NumPy,跑起来像高性能计算。
在浏览器里跑完整 x86 PC 的模拟器,带 x86 到 WebAssembly 的 JIT 编译器,可直接启动 Linux 等系统。
用 C++ 写的高性能 PlayStation 1 模拟器,支持 x86-64、AArch32/AArch64 和 RV64,靠 JIT 编译与 Vulkan/OpenGL 硬件渲染流畅跑 PS1 游戏。
面向 LLM 推理服务的高性能 CUDA 内核库,提供注意力、MoE 等算子的 JIT 实现,用来加速 GPU 上的大模型推理。
跨平台的 PlayStation 3 模拟器与调试器,用 C++ 编写,支持 OpenGL 和 Vulkan 渲染,让玩家能在 PC 上运行 PS3 游戏并调试。
在 PC 上运行 GameCube 和 Wii 游戏的模拟器,支持高清分辨率、宽屏等画质增强,让老主机游戏在新电脑上流畅游玩。
用一套可读的 Einstein 记号统一 PyTorch、JAX、TensorFlow 等框架的张量操作,让 reshape、转置、rearrange 这类代码更清晰、更不容易出错。
基于 PyTorch 的深度学习优化库,通过 ZeRO、模型并行和混合专家等技术,让千亿到万亿参数模型的分布式训练与推理更省显存、更高效。
用 C++ 写的图像处理与数据并行计算 DSL,把算法和调度分开描述,自动生成适配 CPU、GPU 等硬件的高性能代码。
在 iOS 设备上跑起 Linux shell 的模拟器,靠用户态 x86 模拟执行命令行工具,让 iPhone/iPad 也能用上熟悉的 Linux 命令环境。
Rust 写的张量库和深度学习框架,兼顾灵活性与效率,支持自动微分、跨平台后端和内核融合,可训练和部署神经网络。
面向 MoE 模型的高效专家并行通信库,专门优化 GPU 间 all-to-all 分发与合并,降低大规模稀疏模型训练和推理的通信开销。
一个面向 Android 的快速网络请求库,支持 HTTP/2,封装了下载、上传和请求管理,帮开发者省去自己处理网络层的麻烦。
用 CUDA 加速高斯泼溅光栅化,让 3D 高斯场景的训练和渲染跑得更快,适合做三维重建与实时渲染。