is a free and extensible Webdesigner's off-line HTML generation toolkit for Unix. It consists of a control frontend driving up to nine backends in a sequential pass-oriented filtering scheme. Each backend provides one particular core language. For maximum power WML additionally ships with a well-suited set of include files which provide higher-level features built on top of the backends core languages.
is a free operating system (OS). It comes with more than 4000 packages precompiled software and is available for almost any architecture.
is an improved version of the editor vi, one of the standard text editors on UNIX systems. VIM adds many of the features that you would expect in an editor: Unlimited undo, syntax coloring, split windows, visual selection, graphical user interface (read: menus, mouse control, scrollbars, text selection), and much much more.
is an interpreted language optimized for scanning arbitrary text files, extracting information from those text files, and printing reports based on that information. The language is intended to be practical rather than beautiful. It combines some of the best features of C, sed, awk, and sh.
is an HTML to PostScript converter written in Perl. It also uses TeX.
is an interpreter for postscript files. It converts the postscript files that have been generated html2ps into PDF.
is a text-setting-system with builtin macro language, which has been developed by Donald E. Knuth since 1977. On this website, it is used to generate the PDF-files and the navigation bar.
is an utility to validate SGML codes against the W3C specifications for HTML/XHTML/XML. Additionally it can convert, clean and pretty print those streams. We use it to convert WML's HTML4.01 output to well-formed XHTML1.0, which is a subset of XML.
is a file transfer program for Unix systems which provides a fast (incremental) method for bringing remote files into sync. We use it to upload this website though a ssh tunnel to the webserver.
is a free version of the SSH protocol suite of network connectivity tools that increasing numbers of people on the Internet are coming to rely on.
automatically determines which pieces of the website need to be recompiled by wml, and issues commands to recompile them.
is a version control system. It allows multiple users to concurrently edit the project files, and records the history of changes done to the sources files.
is a full-screen window manager that multiplexes a physical terminal between several processes, typically interactive shells. Programs continue to run when their window is currently not visible and even when the whole screen session is detached from the users terminal.
is an sh-compatible shell that incorporates useful features from the Korn shell (ksh) and C shell (csh). It offers functional improvements over sh for both programming and interactive use.
is the GNU Image Manipulation Program. It's great for doing and automating tasks as photo retouching, image composition and image authoring.