The "programs" I'm posting here are mostly little scripts I've written to make my own life easier. Some of them are so little they can hardly be called programs at all. But I'm posting them, too, less for the purpose of making them available than for giving (potential) new users of Linux a sense of how much power one has when one has a good scripting language and a bunch of utilities at one's disposal.

Most of my programming time nowadays is devoted to LyX, an open source writing tool. If you're serious about writing—and especially if you do anything involving formal symbolism (and don't already use LaTeX)—you really must try it.

The following programs can be found here:

All of these are free software. Free as in freedom, and free as in beer.