opa编程开发工具 opa，三大桌面系统，附安装步骤与常见问题。编程开发
florestafloresta 官方安装包（三大桌面系统），带版本号与更新记录。编程开发
benchibenchi 官方安装包（三大桌面系统），带版本号与更新记录。编程开发
spagospago：三大桌面系统 版本索引，取自官方源。编程开发
mlx-c编程开发工具 mlx-c，三大桌面系统，附安装步骤与常见问题。编程开发
pinocchiopinocchio 官方原版下载，三大桌面系统 可用，安装包无捆绑。编程开发
agda编程开发工具 agda，三大桌面系统，附安装步骤与常见问题。编程开发
dufduf 官方安装包（三大桌面系统），带版本号与更新记录。编程开发
launchctl-completionlaunchctl-completion：三大桌面系统 版本索引，取自官方源。编程开发
TheiaIDE编程开发工具 TheiaIDE，macOS，附安装步骤与常见问题。编程开发
gwenhywfargwenhywfar 下载页：三大桌面系统 安装包、版本记录、校验方式。编程开发
LoomLoom：macOS 版本索引，取自官方源。编程开发