TLA+ Toolbox 下载 - Windows / Linux 版

TLA+ Toolbox 是什么

TLA+ Toolbox 是一款适用于 Windows / Linux 的开发工具：TLA 的集成开发环境。

它通过 GitHub Releases 分发，本站不托管或镜像安装包。包管理器 只负责自动完成下载和安装，许可证条款来自厂商。

TLA+ Toolbox 适合需要TLA 的集成开发环境的用户。作为一款开发工具，它提供图形界面，安装后可直接从启动台打开。

核心功能

功能与用途来自 公开元数据和项目说明，具体以官方文档为准。

• TLA 的集成开发环境。
• 适合需要编辑器、调试、版本控制或 API 工具的开发者。
• 以桌面应用形式安装，支持通用二进制。

TLA+ Toolbox 适合谁用

TLA+ Toolbox 适合需要TLA 的集成开发环境的用户。如果你在 Windows / Linux 上寻找一款开发工具，并且希望用一条命令完成安装与后续升级，它值得先试。

安装量与热度

最近 30 天通过包管理器安装 68 次，过去 12 个月累计 694 次。

下载

Windows

日期	版本	大小	架构
2026-11-03	v1.8.0	235.4 MB	x64	下载
2024-08-06	v1.7.4	173.9 MB	x64	下载
2022-02-23	v1.7.1	173.1 MB	x64	下载
2020-04-01	v1.7.0	172.5 MB	x64	下载
2019-07-12	v1.6.0	153.6 MB	x64	下载
2018-07-18	v1.5.7	109.9 MB	x64	下载
2018-01-30	v1.5.6	105.2 MB	x64	下载

Linux

日期	版本	大小	架构
2026-11-03	v1.8.0	226.8 MB	通用	下载
2024-08-06	v1.7.4	173.7 MB	通用	下载
2022-02-23	v1.7.1	170.3 MB	x64	下载
2020-04-01	v1.7.0	169.8 MB	通用	下载
2019-07-12	v1.6.0	156.2 MB	x64	下载
2018-07-18	v1.5.7	109.8 MB	x64	下载
2018-01-30	v1.5.6	105.2 MB	x64	下载

和同类应用怎么选

如果你更看重安装量、依赖数量或开源许可，可以对照上面概览表里的数字；需要逐项对比时，见下方替代品与对比页。

与同类应用对比

只对比公开元数据，不做主观推荐；需要逐项对比时见对比页。

与同类应用对比

应用	版本	许可证	架构	近 30 天安装
TLA+ Toolbox	v1.8.0	—	通用二进制	68
CodeBuddy	4.12.1.39217423,757a5b2f	—	通用二进制	64
CodeBuddy CN	4.12.2.41207131,425ab70e	—	通用二进制	64
Studio 3T Community Edition	2025.1.0	—	通用二进制	55

开发工具中的类似应用

同一分类中最接近的应用，按介绍相似度和安装量排序。它们是相关工具，并非确认可互换的替代品；人工挑选的正面对比请见对比页。

所属分类：开发工具