epm

Cross-platform package builder by Easy Software Products

This package allows a developer to produce packages for several different platforms from a single specification. Currently, Debian dpkg, RPM, AT&T/Solaris pkg, HP-UX depot/swinstall, and IRIX inst/tardist packages are supported, as well as a "portable" package that includes installation and removal scripts and a GUI setup program.

prism-google-calendar

Google Calendar WebApp for Prism

epwutil

Several utilities for EB(Electric Book)/EPWING

epwutil is a set of small utilities that can deal with dictionary files in EB (Electric Book) / EPWING format. It contains:

erc

an IRC client for Emacs

ERC is a powerful, modular, and extensible IRC client for Emacs. It supports multiple channel-buffers, nick completion, keyword highlighting, and more.

python-qt4-sql

Python bindings for PyQt4's SQL module

The SQL module of PyQt4 provides widgets and utility classes for SQL database access.
proof-tree visualization for Proof General

prooftree

proof-tree visualization for Proof General

Prooftree draws proof trees during interactive proof development with Proof General. One can inspect goals and proof commands and check where existential variables were introduced and instantiated. Currently, Prooftree does only work for Coq.