用 Mercury 编写的库

这是一款适用于 OS X 的应用程序，可以（重新）签名应用程序并将其捆绑到准备安装在 iOS 设备上的 ipa 文件中。

Mercury 逻辑编程系统。 （由 Mercury-Language 提供）。

Notmuch 电子邮件系统的curses 终端客户端（由wangp 开发）。

用于自动微分的 Mercury 库。