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.
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.