开发工具

开发工具开发工具

DbGate – 跨平台开源数据库管理器

引言 DbGate 是一款现代化的开源、跨平台数据库管理客户端，旨在简化开发人员...

12 月前 6.0K 0 107

开发工具开发工具

Gitpod – 自动化和协作的云端开发环境

Gitpod 是一款领先的开源云开发环境（Cloud Development E...

4 月前 0 0 29

开发工具开发工具

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

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

5 月前 0 0 50

开发工具开发工具

Chef – 基础设施即代码自动化平台

引言在现代 IT 运维中，手动配置和管理服务器已成为过去式。随着基础设施规模的...

6 月前 0 0 20

开发工具开发工具

PyCharm Community Edition – Python集成开发环境的社区版本

PyCharm Community Edition（社区版）是由 JetBrai...

3 月前 0 0 89

开发工具开发工具

GDB – 强大的命令行调试工具

GDB，全称 GNU Debugger，是一个功能强大、历史悠久的命令行调试工具...

4 月前 0 0 33

开发工具开发工具

Skim – 通用模糊查找器，用于交互式过滤和选择文件或文本

在日常的命令行操作中，我们经常需要从大量的文本行、文件路径或历史记录中快速定位并...

7 月前 6.0K 0 46

开发工具开发工具

Headlamp – Kubernetes的开源Web UI

引言在云原生时代，Kubernetes 已成为容器编排的事实标准。然而，直接通...

4 月前 0 0 43

开发工具开发工具

lazygit – 简化 Git 操作的终端用户界面

Git 是现代软件开发不可或缺的版本控制系统，但其命令行界面有时会显得复杂和冗长...

1 年前 58.7K 0 32

开发工具开发工具

Colorpicker – 现代化的 GTK 颜色拾取工具

引言对于在 Linux 环境下工作的设计师和开发者来说，一款高效、易用的颜色拾...

12 月前 1.7K 0 8