开发工具

开发工具开发工具

Textadept – 快速、极简且可扩展的跨平台文本编辑器

引言 Textadept 是一款开源的、跨平台的文本编辑器，以其速度快、界面极简...

1 年前 697 0 295

开发工具开发工具

Starship – 快速、可定制的跨 Shell 提示符

对于经常与命令行打交道的开发者和系统管理员来说，一个高效且信息丰富的 Shell...

1 年前 48.2K 0 106

开发工具开发工具

TkDiff – 开源图形化文件差异比较与合并工具

引言 TkDiff 是一款免费、开源、跨平台的图形化差异查看器和合并工具。它旨在...

1 年前 0 0 366

开发工具开发工具

Ghostty – 现代化的 GPU 加速终端模拟器

引言在现代软件开发和系统管理中，终端模拟器是不可或缺的工具。随着我们对性能和效...

1 年前 30.2K 0 105

开发工具开发工具

Mercurial – 免费、分布式的源代码控制管理工具

引言 Mercurial (通常简称为 hg) 是一个免费、开源的分布式版本控制...

1 年前 0 0 98

开发工具开发工具

Rio – 专注性能与简洁性的硬件加速 GPU 终端模拟器

引言在当今的开发工作流中，终端模拟器是不可或缺的工具。Rio (https:/...

1 年前 5.0K 0 277

开发工具开发工具

Pandoc – 通用文档格式转换利器

引言在数字时代，我们经常需要在不同的文档格式之间进行转换，例如将 Markdo...

1 年前 36.9K 0 156

开发工具开发工具

Elvish Shell – 兼具表现力与交互性的现代 Shell

对于经常与命令行打交道的开发者和系统管理员来说，Shell 是不可或缺的工具。虽...

1 年前 5.9K 0 78

开发工具开发工具

ROS (Robot Operating System) – 灵活的机器人软件开发框架

机器人技术正以前所未有的速度发展，从工业自动化到服务机器人，再到自动驾驶和太空探...

10 月前 0 0 168

开发工具开发工具

GNU Make – 自动化构建与任务管理的经典工具

GNU Make 是一个历史悠久且功能强大的开源工具，它通过自动化编译和构建过程...

10 月前 0 0 57