proof-general装 proof-general 前先看这里：三大桌面系统 官方包与系统要求。编程开发
RenamerRenamer 下载页：macOS 安装包、版本记录、校验方式。系统工具
empemp 官方安装包（三大桌面系统），带版本号与更新记录。编程开发
Google Japanese Input Method Editor装 Google Japanese Input Method Editor 前先看这里：macOS 官方包与系统要求。输入法
docbook装 docbook 前先看这里：三大桌面系统 官方包与系统要求。办公软件
logstalgialogstalgia：三大桌面系统 版本索引，取自官方源。编程开发
Godot EngineGodot Engine 官方原版下载，macOS 可用，安装包无捆绑。编程开发
docfxdocfx 下载页：三大桌面系统 安装包、版本记录、校验方式。编程开发
tomcat@9tomcat@9 官方原版下载，三大桌面系统 可用，安装包无捆绑。编程开发
lzoplzop 官方原版下载，三大桌面系统 可用，安装包无捆绑。压缩解压
SQLPro Studio数据库工具 SQLPro Studio，macOS，附安装步骤与常见问题。数据库
duktapeduktape 官方原版下载，三大桌面系统 可用，安装包无捆绑。编程开发