开发者工具 产品

LISP 是约翰·麦卡锡 1958 年在麻省理工学院开始设计的编程语言，程序本身即由列表构成。它成为早期人工智能研究常用的语言，并引入了自动垃圾回收。

Google 的第二代机器学习系统，2015 年 11 月 9 日以 Apache 2.0 许可开源，接替前代系统 DistBelief。

PyTorch 是 Meta 于 2017 年发布的开源深度学习框架，现由 Linux 基金会旗下的 PyTorch 基金会治理。它既用于研究，也用于训练和运行生产环境中的大模型。

LangChain 是 2022 年 10 月发布的开源框架，让开发者把大语言模型与外部数据、API 和工具连接起来，组合成「链」和智能体，是构建大模型应用的常用起点。

vLLM 是一个开源的大语言模型服务系统，建立在 PagedAttention 之上，用操作系统管理虚拟内存的思路管理 KV 缓存。论文报告在时延相同的情况下，其吞吐是此前服务系统的 2-4 倍。

llama.cpp 是用 C/C++ 编写的开源推理引擎，让大语言模型能在普通电脑上运行，由 Georgi Gerganov 于 2023 年 3 月创建，推动了本地推理的普及。

Cursor 是 Anysphere 公司开发的 AI 代码编辑器，让程序员与 AI 智能体协同写代码；它从一轮小型 A 轮融资起步，成长为《财富》500 强中过半企业使用的产品，并于 2026 年被 SpaceX 收购。

JAX 是一个面向加速器的 Python 数组计算与程序变换库，用于高性能数值计算和大规模机器学习。它提供 NumPy 风格的接口，并把编译、批处理、自动微分和并行化做成可组合的变换。

Fortran 是 IBM 于 1957 年发布的数值计算编程语言，名字取自「公式翻译」。它的编译器第一次证明，机器自动翻译出来的代码可以跑得几乎和手写代码一样快。

Torch 是一个面向机器学习的科学计算框架，以 LuaJIT 作为脚本层、C/CUDA 作为底层实现，把 GPU 放在首位，并拥有庞大的社区扩展包生态。

Theano 是蒙特利尔学习算法研究所开发的 Python 库与优化编译器，用于高效处理多维数组表达式，自 2007 年起结合符号求导、GPU 运行与 C 代码生成，支撑大规模科学计算与教学。

scikit-learn 是一个用 Python 编写的开源统计学习库，2007 年起步、2010 年 2 月 1 日首次公开发布，如今是 GitHub 上最流行的机器学习软件之一。

微软于 2011 年 6 月 16 日免费发布的测试版开发工具包，让开发者能在 Windows 个人电脑上使用 Kinect 传感器的深度感知、动作追踪和语音识别能力，最初仅限非商业用途。

Caffe 是以 BSD 许可证发布的 C++ 深度学习库，带 Python 和 MATLAB 绑定，用于训练和部署卷积神经网络，由 Yangqing Jia 等人在 2014 年的论文中提出。

Keras 是用 Python 编写的深度学习 API，可运行在 JAX、TensorFlow 或 PyTorch 之上，让同一份模型代码在多个框架间迁移。

OpenAI Gym 是 2016 年 4 月以 beta 形式公布的强化学习工具包，既提供从经典控制任务到 Atari 游戏、模拟机器人的环境集合，也提供一个用于比较和复现结果的网站。

飞桨（PaddlePaddle）是百度开源的深度学习框架，2016 年 9 月对外开放，前身是 2013 年起在百度内部研发的 Paddle 平台，发布时被称为国内首个开源深度学习平台。

ONNX 是一种开放的机器学习模型表示格式，2017 年 9 月由微软和 Facebook 公布，让开发者能把模型在不同框架之间搬移，而不必每次在互不兼容的格式之间做转换。

Amazon SageMaker 是 AWS 于 2017 年推出的全托管机器学习服务，把托管笔记本、分布式训练和可扩展的推理端点打包在一起，各组件也可以单独使用。

Papers with Code 是免费开放的机器学习论文与代码资源，并维护追踪任务最先进水平的基准排行榜；2019 年底起由 Facebook 控股，2026 年重新上线。

Hugging Face Hub是人们分享机器学习模型、数据集和演示应用的平台，到2026年9月已有300多万个模型和1800多万用户。

OpenAI API 是 OpenAI 面向开发者的商业平台，2020 年 6 月 11 日随 GPT-3 公布，后逐步发展为构建 AI 智能体的平台。

Triton 是 OpenAI 开源的、语法接近 Python 的 GPU 编程语言与编译器。没有 CUDA 经验的研究者也能用它写出高效的 GPU 内核，性能多数情况下接近专家手写的水平。

LlamaIndex 是一个开源的 Python 库，用于在大型语言模型之上构建检索增强生成应用和 AI 智能体。它最初只是 2022 年底一名工程师写的小型索引工具 GPT Tree Index。

阿里巴巴达摩院与 CCF 开源发展委员会等伙伴共同推出的开源模型社区，2022 年正式发布，汇聚数百个可直接取用的模型，推动「模型即服务」。

OpenRouter 是大语言模型的交易市场与网关，2023 年初上线，让开发者通过一个接口调用多家供应商的数百个模型。官方称其月处理 700 万亿以上 token，全球用户超过 1000 万。

Amazon Bedrock 是 AWS 的托管服务，用于调用多家公司的基础模型，2023年4月宣布，同年9月正式可用，后加入 Nova 与 AgentCore。

Aider 是运行在终端里的开源 AI 结对编程工具，为整个代码库建立地图，调用云端或本地语言模型修改代码，并把每次改动自动提交到 git。

Ollama 是一个用 Go 编写的开源工具，让用户在 macOS、Linux 和 Windows 上通过命令行或本地 REST 接口拉取并运行大语言模型。

GGUF 是一种二进制模型文件格式，2023 年由 llama.cpp 项目推出，把张量和元数据装进同一个文件，广泛用于分发可本地推理的量化大语言模型。

AutoGen 是微软推出的构建 AI 智能体与应用的框架，其中的智能体可定制、可对话，并能把大语言模型、人类输入和工具结合起来。它由 2023 年 8 月 16 日提交到 arXiv 的论文提出。

DSPy 是一种编程模型，把语言模型流水线表示为声明式模块构成的计算图，并用编译器按给定指标优化。

TensorRT-LLM 是 NVIDIA 的开源库，用于在 NVIDIA GPU 上加速和优化大语言模型推理，2023 年 10 月 19 日公开发布，可从 GitHub 免费获取，也随 NVIDIA NeMo 提供。

CrewAI 是一个用 Python 编写的开源框架，用于构建协同工作的 AI 智能体小组，由 João Moura 于 2023 年底创建，并获得 1800 万美元融资。

MLX 是苹果机器学习研究团队 2023 年 12 月开源的机器学习框架，主要面向 Apple silicon。它仿照 NumPy 提供 Python 接口，并针对统一内存架构设计，让 CPU 与 GPU 共用同一份数据。

SGLang 是一个用于高效执行复杂语言模型程序的系统，由前端语言和运行时组成；它复用键值缓存、加速结构化输出解码，论文报告在评测负载上吞吐最高达到当时先进推理系统的 6.4 倍。

Cline 是一个开源自主编程智能体，可以 IDE 扩展、命令行助手和 SDK 的形式使用，由 Cline Bot Inc. 运营；其 VS Code 扩展的安装量已超过 1100 万开发者。

Bolt.new 是 StackBlitz 于 2024 年 10 月 3 日推出的产品，用聊天的方式生成网站、应用和原型。它把代码生成与托管打包在一起，上线第一周就产生了约 100 万美元的年度经常性收入。

Codeium 于 2024 年 11 月 13 日发布的 AI 原生代码编辑器，以「AI 流」为核心，把助手的协作性与智能体的自主性放在同一界面。

Lovable 是一款把自然语言描述直接变成全栈网页应用的工具，面向不会写代码的人。它于 2024 年 11 月上线，用户规模与融资额增长都很快。

OpenAI 于 2025 年 3 月发布的开源智能体开发工具包，提供可配置的智能体、智能体之间的任务交接、安全护栏和调用追踪，是实验性项目 Swarm 的正式继任者。

Kiro 是亚马逊云科技的智能体集成开发环境，2025 年 7 月发布。它先从一条提示词生成用户故事、设计文档和任务清单，再进入写代码的环节，这种方式被称为「规格驱动开发」。

Transformers是Hugging Face的开源Python库，通过统一的接口提供预训练的Transformer模型。其论文于2019年10月9日发布在arXiv上。

LangGraph 是 LangChain 的智能体运行时与低层编排框架，内置记忆、流式输出和人工审核，1.0 版本于 2025 年 10 月发布，是该领域首个稳定大版本。

Agent Development Kit（ADK）是开源的、以代码为先的 Python 框架，用于构建、评估和部署 AI 智能体，核心是一套基于图的工作流运行时，并有多种语言的移植版。

AIBO Performer Kit（型号 ERF-510）是索尼随 ERS-110 机器狗一同发布的动作编辑套件，让用户在个人电脑上为 AIBO 创作原创动作，并通过附带的 Memory Stick 传输到机器人上。

Kaggle 是一个数据科学竞赛平台和在线社区，由 Anthony Goldbloom 于 2010 年 4 月创办，多数竞赛提交会即时对照隐藏答案打分并显示在实时排行榜上。2017 年 3 月被谷歌收购。

微软于 2012 年 2 月 1 日推出的商用版 Kinect 体感摄像头，建议零售价 249 美元，配套 1.0 版开发工具包，让企业和研究者能在 Windows 电脑上开发基于动作与语音的应用。

Apache MXNet 是开源深度学习库，同时提供符号式与命令式写法，可运行在手机到 GPU 集群上，并有 8 种语言接口。论文由陈天奇、李沐等人在 2015 年 12 月发布。

OpenAI 于 2016 年 12 月发布的软件平台，用游戏、网站和其他应用衡量并训练 AI 的通用智能，首批包含 1000 个建立在 Gym 之上的环境。

昇思（MindSpore）是华为开源的 AI 计算框架，于 2020 年 3 月宣布开源，原生适配端、边、云全场景，与昇腾处理器协同优化，并配有训练可视化与模型安全工具。

AI SDK 是 Vercel 推出的 TypeScript 工具包，用一套接口对接多家模型提供商，并提供与前端框架无关的聊天界面钩子，以及统一运行智能体框架的方式。

v0 是 Vercel 推出的生成式 UI 工具，能把一句描述变成基于 React、Tailwind CSS 和 shadcn/ui 的前端代码。2023 年 10 月，它在积累 10 万等候名单后从 Alpha 进入 Beta。

Amazon Q 是 AWS 推出的面向工作的生成式 AI 助手。2023 年 11 月 28 日在 re:Invent 大会上以预览形式发布，2024 年 4 月 30 日以 Amazon Q Business 正式可用。

Tinker 是 Thinking Machines Lab 于 2025 年 10 月 1 日宣布的托管 API，用于微调语言模型，用户自行选择算法和数据。

扣子 Coze 是 coze-dev 以 Apache-2.0 协议开源的可视化 AI 智能体开发工具，后端用 Go、前端用 React，可自行部署。

腾讯云代码助手 CodeBuddy 是腾讯云推出的智能编程助手，提供插件、IDE 和命令行三种形态，覆盖从设计稿生成页面代码、撰写需求文档到后端配置与一键部署的流程。

Poe 是一个让创作者构建并分享 AI 应用的平台，提供从提示词机器人到服务器机器人、脚本机器人、Canvas 应用和 API 机器人等多种形态，面向数以百万计的用户，并设有按调用付费的创作者分成机制。

阿里云的 AI 编码助手，页面现以 Qoder CN 为名，从灵码升级为覆盖 IDE、JetBrains 插件、命令行、智能体工作台、云端智能体、SDK 与数字员工的产品家族，支持多种中国模型并提供企业版套餐。

面向机器人仿真、训练、感知和部署的 NVIDIA 机器人开发平台。

LM Studio 是一款闭源桌面应用，可在 macOS、Windows 和 Linux 上把大语言模型下载到本机运行、对话，并通过兼容 OpenAI 的本地接口供其他程序调用。

Dify 是一个用来搭建大语言模型应用的开源平台，界面集成了 AI 工作流、RAG 流水线、智能体能力和模型管理，并提供托管云、VPC 与自托管三种部署方式。