rrdtool 1.2.11 (rrdtool): the round robin database, a great graphing and logging tool

satz-rand 5.0: randomized SAT solver

strfile: reads a specially formatted file and builds a database for use by fortune.

zchaff: SAT solver

I use Window Maker and have also installed some handy wapps:

wmpinboard: post TODO notes, set alarms

wmnet: monitor network usage (run with wmnet -l -x 10000000)

wmCalClock: displays the time and date

wmcpuload: cpu usage

wmbluemem: physical memory and swap usage

wmint: interrupt monitor

All of these are installed under /u/post/r, which resembles the root of a file system. To use them, it will probably be easiest to append /u/post/r/bin to your PATH environment variable. Important: never put directories writeable by any user at the front of your PATH!