gorgonia

GitHub
5.9k 448 较难 1 次阅读 今天Apache-2.0开发框架
AI 解读 由 AI 自动生成,仅供参考

Gorgonia 是一个专为 Go 语言打造的机器学习库,旨在让开发者能够轻松编写和计算涉及多维数组的数学方程。它的核心设计理念类似于 Python 界的 Theano 和 TensorFlow,但原生支持 Go 生态,解决了传统机器学习流程中“实验用 Python、部署需重写为 C++"的割裂痛点。使用 Gorgonia,团队可以全程采用熟悉的 Go 语言栈,从模型研发到生产部署无缝衔接,大幅降低工程复杂度与维护成本。

这款工具特别适合已经在使用 Go 进行后端开发的工程师,以及希望探索非标准深度学习算法(如进化算法、新赫布学习等)的研究人员。它无需切换编程语言即可构建高性能的生产级机器学习系统。

在技术特性上,Gorgonia 支持自动微分、符号微分、梯度下降优化及数值稳定性处理,并提供了丰富的函数来辅助构建神经网络。其计算性能出色,CPU 实现速度可与 PyTorch 和 TensorFlow 媲美,同时支持 CUDA/GPGPU 加速,并具备未来扩展分布式计算的能力。如果你追求编译部署的简洁性,又需要强大的图计算能力,Gorgonia 是一个值得尝试的专业选择。

使用场景

某电商平台的后端团队主要使用 Go 语言构建高并发微服务,现在需要在交易链路中实时集成一个自定义的欺诈检测模型。

没有 gorgonia 时

  • 技术栈割裂:数据科学家需用 Python 训练模型,后端工程师必须将其重写为 C++ 或通过 RPC 调用外部服务,导致开发流程冗长且易出错。
  • 部署复杂度高:生产环境需额外维护 Python 运行时或重型 TensorFlow 服务容器,增加了运维负担和资源消耗。
  • 调试困难:一旦模型预测出现异常,跨语言堆栈追踪极其困难,难以快速定位是数据预处理问题还是算法逻辑错误。
  • 性能损耗:网络序列化与反序列化带来的延迟,无法满足毫秒级风控决策的严苛要求。

使用 gorgonia 后

  • 全链路 Go 化:团队直接在 Go 代码中定义计算图并执行自动微分,从实验到部署无需切换语言,实现了“编写即生产”。
  • 轻量级交付:仅需编译单个二进制文件即可包含完整的推理引擎,消除了对外部 AI 框架运行时的依赖,显著降低内存占用。
  • 统一调试体验:开发人员利用熟悉的 Go 工具链即可对神经网络前向传播和梯度计算进行断点调试,排查效率大幅提升。
  • 极致低延迟:得益于原生执行和 CUDA 支持,模型推理直接在进程内完成,去除了网络开销,完美契合高频交易场景。

gorgonia 让 Go 开发者能在熟悉的环境中无缝构建高性能机器学习系统,彻底打破了算法实验与工程落地之间的壁垒。

运行环境要求

操作系统
  • Linux
  • macOS
  • Windows
  • FreeBSD
GPU
  • 可选
  • 如需 GPU 加速需 NVIDIA 显卡并支持 CUDA(具体型号、显存及 CUDA 版本未说明)
  • 不支持 OpenCL
  • 纯汇编加速仅限 amd64 架构
内存

未说明

依赖
notes该工具是基于 Go 语言的机器学习库,非 Python 项目。最低 Go 版本要求为 1.12+(因依赖 Gonum)。GPU 实现涉及较重的 CGO 开销。API 在 1.0 版本前不稳定。
python不需要 (基于 Go 语言)
Go > 1.12
gonum (隐含依赖)
gorgonia hero image

快速开始

Logo

GoDoc GitHub version Build and Tests codecov Go Report Card unstable

Gorgonia 是一个帮助在 Go 语言中进行机器学习的库。你可以轻松地编写和评估涉及多维数组的数学方程。如果这听起来像 TheanoTensorFlow,那是因为它的理念非常相似。具体来说,这个库类似于 Theano,属于比较底层的实现,但目标却更接近 TensorFlow。

Gorgonia:

  • 可以进行自动微分
  • 可以进行符号微分
  • 可以执行梯度下降优化
  • 可以进行数值稳定化处理
  • 提供了许多便捷函数来帮助构建神经网络
  • 性能相当快(与 Theano 和 TensorFlow 的速度相当)
  • 支持 CUDA/GPGPU 计算(OpenCL 尚未支持,欢迎提交 Pull Request)
  • 将来会支持分布式计算

目标

Gorgonia 的首要目标是成为一个高性能的机器学习/图计算库,能够在多台机器上扩展。它旨在将 Go 语言的优势(简单的编译和部署流程)引入机器学习领域。目前距离这一目标还有很长的路要走,但我们已经迈出了第一步。

Gorgonia 的次要目标是为探索非传统的深度学习和神经网络相关技术提供平台。这包括新赫布理论学习、剪枝算法、进化算法等。

为什么使用 Gorgonia?#

使用 Gorgonia 的主要原因在于开发者的舒适度。如果你已经在项目中大量使用 Go 技术栈,现在你就可以在一个熟悉且舒适的环境中构建生产级的机器学习系统了。

通常,机器学习和人工智能的工作流程分为两个阶段:实验阶段,即构建各种模型并反复测试;以及部署阶段,即在经过充分测试和调整后,将模型投入实际应用。这两个阶段往往需要不同的角色,例如数据科学家和数据工程师。

传统上,这两个阶段使用的工具并不相同:Python(如 PyTorch 等)常用于实验阶段,而模型随后会被重写成性能更高的语言,比如 C++(使用 dlib、mlpack 等)。当然,如今这种界限正在逐渐模糊,人们也经常共享工具。TensorFlow 就是一个弥合这一差距的工具。

Gorgonia 的目标则是为 Go 生态系统实现同样的功能。目前,Gorgonia 的性能已经相当不错——其 CPU 实现的速度可以与 PyTorch 和 TensorFlow 的 CPU 版本相媲美。由于 CGO 调用的开销较大,GPU 实现的性能对比稍显复杂,不过请放心,这方面仍在积极改进中。

快速入门

安装

可以通过 go get 命令安装:go get -u gorgonia.org/gorgonia

Gorgonia 兼容 Go 模块。

文档

最新的文档、参考和教程都可在 Gorgonia 官网 https://gorgonia.org 上找到。

获取最新信息

Gorgonia 项目有一个 Slack 频道 和一个 Twitter 账号。官方更新和公告都会发布在这两个平台上。

使用方法

Gorgonia 的工作原理是先创建一个计算图,然后执行它。你可以把它想象成一种编程语言,但它仅限于数学函数,没有分支结构(没有 if/then 或循环)。事实上,这就是用户需要习惯的主要思维方式。计算图本质上是一个 抽象语法树

微软的 CNTK,通过其 BrainScript,很好地说明了构建计算图和运行计算图是两件不同的事情,用户在思考时也需要采用不同的模式。

虽然 Gorgonia 的实现并没有像 CNTK 的 BrainScript 那样严格区分这两种思维模式,但其语法确实提供了一些帮助。

下面是一个例子:假设你想定义一个数学表达式 z = x + y,以下是实现方式:

package gorgonia_test

import (
	"fmt"
	"log"

	. "gorgonia.org/gorgonia"
)

// 将数学方程表示为计算图的基本示例。
//
// 在这个示例中,我们想要表示以下方程:
//		z = x + y
func Example_basic() {
	g := NewGraph()

	var x, y, z *Node
	var err error

	// 定义表达式
	x = NewScalar(g, Float64, WithName("x"))
	y = NewScalar(g, Float64, WithName("y"))
	if z, err = Add(x, y); err != nil {
		log.Fatal(err)
	}

	// 创建一个 VM 来运行程序
	machine := NewTapeMachine(g)
	defer machine.Close()

	// 设置初始值并运行
	Let(x, 2.0)
	Let(y, 2.5)
	if err = machine.RunAll(); err != nil {
		log.Fatal(err)
	}

	fmt.Printf("%v", z.Value())
	// 输出: 4.5
}

你可能会注意到,与其他类似库相比,这里的代码略显冗长。例如,Gorgonia 不会直接编译成可调用的函数,而是专门编译成一个 *program,需要借助 *TapeMachine 来运行。此外,还需要手动调用 Let(...) 函数。

作者认为,这种设计其实是一件好事——它可以帮助开发者转变思维方式,从传统的编程思维转向面向机器的思维。这有助于更好地理解可能出现的问题所在。

另外,Gorgonia 不支持分支结构,也就是说,没有条件语句(if/else)或循环。它的设计初衷并不是要构建一台图灵完备的计算机。

更多示例可以在项目的 example 子文件夹中找到,逐步教程则可在 官方网站 上查阅。

使用 CUDA

Gorgonia 默认支持 CUDA。 有关 CUDA 的详细使用方法,请参阅 Gorgonia 官网上的参考文档 https://gorgonia.org/reference/cuda/,或者直接阅读 CUDA 教程

关于 Gorgonia 的开发过程

版本管理

我们采用 语义化版本 2.0.0 进行版本管理。在 1.0 版本之前,Gorgonia 的 API 预计会有较大变化。API 定义为公开的函数、变量和方法。为了开发者的便利,在 1.0 版本之前,我们会对语义化版本规范做一些小调整,具体如下:

  • 每次出现破坏性的 API 变更时,MINOR 版本号将递增。这意味着任何函数签名或接口方法的删除或更改都会导致 MINOR 版本号的增加。
  • 在 1.0 版本之前,新增功能不会改变 MINOR 版本号。也就是说,如果添加了新功能但不破坏现有使用方式,则 MINOR 版本号不会递增,而是 PATCH 版本号会递增。

API 稳定性

目前,Gorgonia 的 API 尚未被认为是稳定的。从 1.0 版本开始,API 将被视为稳定。

Go 版本支持

Gorgonia 支持 Go 主分支以下的两个版本。这意味着 Gorgonia 将支持当前发布的 Go 版本,以及最多往前追溯的四个版本——前提是不会出现兼容性问题。在可能的情况下,我们会提供适配层(例如针对 Go 1.9 引入的新 sort API 或 math/bits 包)。

当前的 Go 版本是 1.13.1。Gorgonia 最早支持的版本是 Go 1.11.x,但 Gonum 只支持 1.12 及以上版本。因此,运行主分支的最低 Go 版本要求是 Go > 1.12。

支持的硬件与操作系统

Gorgonia 支持以下平台:

  • linux/AMD64
  • linux/ARM7
  • linux/ARM64
  • win32/AMD64
  • darwin/AMD64
  • freeBSD/AMD64

如果您曾在其他平台上测试过 Gorgonia,请更新此列表。

硬件加速

Gorgonia 使用了一些纯汇编指令来加速部分数学运算。遗憾的是,目前仅支持 amd64 架构。

贡献指南

显然,由于您很可能正在 GitHub 上阅读本文,GitHub 将成为贡献本项目的主要工作流程。

参阅:CONTRIBUTING.md

贡献者与重要贡献者

我们欢迎所有贡献。不过,我们引入了一类新的贡献者,称为“重要贡献者”。

重要贡献者需展现出对该库及其相关领域的深刻理解。以下是构成“重要贡献”的示例:

  • 编写了大量关于特定函数/方法的原理、实现机制,以及各部分之间相互作用的文档;
  • 编写了围绕 Gorgonia 内部复杂模块的代码及测试;
  • 编写了代码并提交了至少 5 个被接受的 Pull Request;
  • 对项目的某些部分提供了专业分析(例如,作为浮点运算专家优化了某个函数);
  • 回答了至少 10 个支持相关的问题。

重要贡献者名单将每月更新一次(当然,前提是还有人使用 Gorgonia)。

如何获取支持

目前获取支持的最佳方式是在 GitHub 上提交 Issue

常见问题解答

为什么测试中会出现看似随机的 runtime.GC() 调用?

答案很简单:该库的设计以特定方式使用 CUDA——即 CUDA 设备和上下文与 VM 绑定,而不是在包级别绑定。这意味着每创建一个 VM,就会为每个设备创建一个独立的 CUDA 上下文。这样可以确保所有操作与其他可能使用 CUDA 的应用程序良好共存(尽管这一点仍需进一步压力测试)。

这些 CUDA 上下文只有在 VM 被垃圾回收时才会被销毁(通过终结器函数实现)。在测试中,通常会创建约 100 个 VM,而垃圾回收的时间点往往是随机的。这可能导致 GPU 内存不足,因为同时存在过多的 CUDA 上下文。

因此,在可能使用 GPU 的测试结束时,我们会调用 runtime.GC() 来强制进行垃圾回收,释放 GPU 内存。

在生产环境中,一般不太可能启动如此多的 VM,因此这种情况并不常见。如果确实遇到问题,请在 GitHub 上提交 Issue,我们将考虑为 VM 添加 Finish() 方法。

许可证

Gorgonia 采用 Apache 2.0 的变体许可证。它与 Apache 2.0 许可证基本相同,唯一的区别在于,除非您是重要贡献者(例如为该项目提供商业支持),否则不得直接从本项目中获利。不过,您可以自由地从基于 Gorgonia 的衍生作品中获利(例如将 Gorgonia 作为库集成到您的产品中)。

任何人仍然可以将 Gorgonia 用于商业目的(例如将其应用于企业软件中)。

依赖项

Gorgonia 使用的依赖项非常少,而且都非常稳定,因此目前不需要使用依赖管理工具。以下是 Gorgonia 调用的外部包列表,按本包对其依赖程度排序(省略了子包):

包名 用途 是否关键 备注 许可证
gonum/graph *ExprGraph 进行排序 关键。移除后 Gorgonia 将无法运行 Gorgonia 的开发团队致力于保持与最新版本同步 gonum 许可证(MIT/类似 BSD)
gonum/blas Tensor 子包中的线性代数运算 关键。移除后 Gorgonia 将无法运行 Gorgonia 的开发团队致力于保持与最新版本同步 gonum 许可证(MIT/类似 BSD)
cu CUDA 驱动程序 进行 CUDA 操作所必需 与 Gorgonia 由同一维护者维护 MIT/类似 BSD
math32 float32 运算 可用 float32(math.XXX(float64(x))) 替代 与 Gorgonia 由同一维护者维护,API 与内置 math 包相同 MIT/类似 BSD
hm Gorgonia 的类型系统 Gorgonia 的图结构与类型系统紧密耦合 与 Gorgonia 由同一维护者维护 MIT/类似 BSD
vecf64 优化的 []float64 操作 可在 tensor/genlib 包中生成。不过已经进行了大量优化,未来还将继续优化 与 Gorgonia 由同一维护者维护 MIT/类似 BSD
vecf32 优化的 []float32 操作 可在 tensor/genlib 包中生成。不过已经进行了大量优化,未来还将继续优化 与 Gorgonia 由同一维护者维护 MIT/类似 BSD
set 各种集合操作 可以轻松替换 过去一年 API 稳定 set 许可证(MIT/类似 BSD)
gographviz 用于打印图 图的打印仅对调试至关重要。Gorgonia 即使没有这一功能也能运行,但会失去一个主要(尽管可能不算关键)特性 最后更新于 2017 年 4 月 12 日 gographviz 许可证(Apache 2.0)
rng 用于实现生成初始权重的辅助函数 可以较为容易地替换。Gorgonia 也可以不使用这些便利函数 rng 许可证(Apache 2.0)
errors 错误包装 即使没有它,Gorgonia 也不会崩溃。事实上,Gorgonia 过去也曾使用过 goerrors/errors 过去 6 个月 API 稳定 errors 许可证(MIT/类似 BSD)
gonum/mat Tensor 与 Gonum 矩阵之间的兼容性 Gorgonia 的开发团队致力于保持与最新版本同步 gonum 许可证(MIT/类似 BSD)
testify/assert 测试 可以不用,但会使测试变得非常麻烦 testify 许可证(MIT/类似 BSD)

其他版权声明

以下是在编写 Gorgonia 过程中受到启发并加以改编的包和库(已使用的 Go 包已在上文列出):

来源 使用方式 许可证
Numpy 受到大量启发。部分方法直接采用了其算法(文档中已明确标注) MIT/类似 BSD。Numpy 许可证
Theano 受到大量启发。(不确定直接采用了多少算法) MIT/类似 BSD Theano 许可证
Caffe im2colcol2im 直接来自 Caffe。卷积算法则受到 Caffe 原始方法的启发 Caffe 许可证

版本历史

v0.9.182023/12/03
v0.9.172021/03/14
v0.9.162020/12/31
v0.9.152020/09/28
v0.9.142020/09/10
v0.9.132020/08/06
v0.9.122020/06/18
v0.9.112020/06/15
v0.9.102020/04/10
v0.9.92020/03/25
v0.9.82020/02/10
v0.9.72020/01/19
v0.9.62020/01/04
v0.9.52019/12/08
v0.9.42019/11/07
v0.9.32019/09/06
v0.9.22019/08/30
v0.9.12019/01/30
v0.9.0-beta2018/08/19
v0.8.42018/05/11

常见问题

相似工具推荐

openclaw

OpenClaw 是一款专为个人打造的本地化 AI 助手,旨在让你在自己的设备上拥有完全可控的智能伙伴。它打破了传统 AI 助手局限于特定网页或应用的束缚,能够直接接入你日常使用的各类通讯渠道,包括微信、WhatsApp、Telegram、Discord、iMessage 等数十种平台。无论你在哪个聊天软件中发送消息,OpenClaw 都能即时响应,甚至支持在 macOS、iOS 和 Android 设备上进行语音交互,并提供实时的画布渲染功能供你操控。 这款工具主要解决了用户对数据隐私、响应速度以及“始终在线”体验的需求。通过将 AI 部署在本地,用户无需依赖云端服务即可享受快速、私密的智能辅助,真正实现了“你的数据,你做主”。其独特的技术亮点在于强大的网关架构,将控制平面与核心助手分离,确保跨平台通信的流畅性与扩展性。 OpenClaw 非常适合希望构建个性化工作流的技术爱好者、开发者,以及注重隐私保护且不愿被单一生态绑定的普通用户。只要具备基础的终端操作能力(支持 macOS、Linux 及 Windows WSL2),即可通过简单的命令行引导完成部署。如果你渴望拥有一个懂你

349.3k|★★★☆☆|2天前
Agent开发框架图像

stable-diffusion-webui

stable-diffusion-webui 是一个基于 Gradio 构建的网页版操作界面,旨在让用户能够轻松地在本地运行和使用强大的 Stable Diffusion 图像生成模型。它解决了原始模型依赖命令行、操作门槛高且功能分散的痛点,将复杂的 AI 绘图流程整合进一个直观易用的图形化平台。 无论是希望快速上手的普通创作者、需要精细控制画面细节的设计师,还是想要深入探索模型潜力的开发者与研究人员,都能从中获益。其核心亮点在于极高的功能丰富度:不仅支持文生图、图生图、局部重绘(Inpainting)和外绘(Outpainting)等基础模式,还独创了注意力机制调整、提示词矩阵、负向提示词以及“高清修复”等高级功能。此外,它内置了 GFPGAN 和 CodeFormer 等人脸修复工具,支持多种神经网络放大算法,并允许用户通过插件系统无限扩展能力。即使是显存有限的设备,stable-diffusion-webui 也提供了相应的优化选项,让高质量的 AI 艺术创作变得触手可及。

162.1k|★★★☆☆|2天前
开发框架图像Agent

everything-claude-code

everything-claude-code 是一套专为 AI 编程助手(如 Claude Code、Codex、Cursor 等)打造的高性能优化系统。它不仅仅是一组配置文件,而是一个经过长期实战打磨的完整框架,旨在解决 AI 代理在实际开发中面临的效率低下、记忆丢失、安全隐患及缺乏持续学习能力等核心痛点。 通过引入技能模块化、直觉增强、记忆持久化机制以及内置的安全扫描功能,everything-claude-code 能显著提升 AI 在复杂任务中的表现,帮助开发者构建更稳定、更智能的生产级 AI 代理。其独特的“研究优先”开发理念和针对 Token 消耗的优化策略,使得模型响应更快、成本更低,同时有效防御潜在的攻击向量。 这套工具特别适合软件开发者、AI 研究人员以及希望深度定制 AI 工作流的技术团队使用。无论您是在构建大型代码库,还是需要 AI 协助进行安全审计与自动化测试,everything-claude-code 都能提供强大的底层支持。作为一个曾荣获 Anthropic 黑客大奖的开源项目,它融合了多语言支持与丰富的实战钩子(hooks),让 AI 真正成长为懂上

144.7k|★★☆☆☆|今天
开发框架Agent语言模型

ComfyUI

ComfyUI 是一款功能强大且高度模块化的视觉 AI 引擎,专为设计和执行复杂的 Stable Diffusion 图像生成流程而打造。它摒弃了传统的代码编写模式,采用直观的节点式流程图界面,让用户通过连接不同的功能模块即可构建个性化的生成管线。 这一设计巧妙解决了高级 AI 绘图工作流配置复杂、灵活性不足的痛点。用户无需具备编程背景,也能自由组合模型、调整参数并实时预览效果,轻松实现从基础文生图到多步骤高清修复等各类复杂任务。ComfyUI 拥有极佳的兼容性,不仅支持 Windows、macOS 和 Linux 全平台,还广泛适配 NVIDIA、AMD、Intel 及苹果 Silicon 等多种硬件架构,并率先支持 SDXL、Flux、SD3 等前沿模型。 无论是希望深入探索算法潜力的研究人员和开发者,还是追求极致创作自由度的设计师与资深 AI 绘画爱好者,ComfyUI 都能提供强大的支持。其独特的模块化架构允许社区不断扩展新功能,使其成为当前最灵活、生态最丰富的开源扩散模型工具之一,帮助用户将创意高效转化为现实。

107.9k|★★☆☆☆|昨天
开发框架图像Agent

markitdown

MarkItDown 是一款由微软 AutoGen 团队打造的轻量级 Python 工具,专为将各类文件高效转换为 Markdown 格式而设计。它支持 PDF、Word、Excel、PPT、图片(含 OCR)、音频(含语音转录)、HTML 乃至 YouTube 链接等多种格式的解析,能够精准提取文档中的标题、列表、表格和链接等关键结构信息。 在人工智能应用日益普及的今天,大语言模型(LLM)虽擅长处理文本,却难以直接读取复杂的二进制办公文档。MarkItDown 恰好解决了这一痛点,它将非结构化或半结构化的文件转化为模型“原生理解”且 Token 效率极高的 Markdown 格式,成为连接本地文件与 AI 分析 pipeline 的理想桥梁。此外,它还提供了 MCP(模型上下文协议)服务器,可无缝集成到 Claude Desktop 等 LLM 应用中。 这款工具特别适合开发者、数据科学家及 AI 研究人员使用,尤其是那些需要构建文档检索增强生成(RAG)系统、进行批量文本分析或希望让 AI 助手直接“阅读”本地文件的用户。虽然生成的内容也具备一定可读性,但其核心优势在于为机器

93.4k|★★☆☆☆|昨天
插件开发框架

LLMs-from-scratch

LLMs-from-scratch 是一个基于 PyTorch 的开源教育项目,旨在引导用户从零开始一步步构建一个类似 ChatGPT 的大型语言模型(LLM)。它不仅是同名技术著作的官方代码库,更提供了一套完整的实践方案,涵盖模型开发、预训练及微调的全过程。 该项目主要解决了大模型领域“黑盒化”的学习痛点。许多开发者虽能调用现成模型,却难以深入理解其内部架构与训练机制。通过亲手编写每一行核心代码,用户能够透彻掌握 Transformer 架构、注意力机制等关键原理,从而真正理解大模型是如何“思考”的。此外,项目还包含了加载大型预训练权重进行微调的代码,帮助用户将理论知识延伸至实际应用。 LLMs-from-scratch 特别适合希望深入底层原理的 AI 开发者、研究人员以及计算机专业的学生。对于不满足于仅使用 API,而是渴望探究模型构建细节的技术人员而言,这是极佳的学习资源。其独特的技术亮点在于“循序渐进”的教学设计:将复杂的系统工程拆解为清晰的步骤,配合详细的图表与示例,让构建一个虽小但功能完备的大模型变得触手可及。无论你是想夯实理论基础,还是为未来研发更大规模的模型做准备

90.1k|★★★☆☆|昨天
语言模型图像Agent