Cool Tools

This page summarises some cool tools available on the departmental UNIX machines (some of them may only be available on the Linux boxes). Note that these tools are not supported.

I heavily use emacs in everyday life and maintain a separate page of cool emacs packages.


Useful, but not properly documented, yet:

Potentially useful, but unchaecked:

The information below is out-of-date. The links to web pages might still be useful.


Hans-Wolfgang Loidl
Last modified: Tue Jun 21 17:21:06 2011