rocknroll (Rsync fOr baCKup and Roll) is an incremental backup maker based on rsync. It backs up a remote directory tree to a destination directory on the local host. For this backup, it manages a set of archives named tag.1, tag.2, etc. Using the famous "link-dest" option of rsync, it keeps only the difference between the different archives.
Daikon is an implementation of dynamic detection of likely invariants. An invariant is a property (such as "x=2*y+5" or "this.next.prev = this" or "myarray is sorted by <") that holds at a certain point or points in a program. Invariants are often seen in assert statements, documentation, and formal specifications. Invariants can be useful in program understanding and a host of other applications. Daikon runs a program, observes the values that the program computes, and then reports properties that were true over the observed executions. It can detect properties in Java, C, C++, Perl, and IOA programs, in spreadsheet files, and in other data sources.
ZMailer is an internet message transfer agent. It is intended for gateways or mail servers or other large site environments that have extreme demands on the abilities of the mailer. It was motivated by the problems of the Sendmail design in such situations. It is intended and designed as a multi-protocol mailer. The only protocol supported in this distribution is RFC822 (and variations).
cstor is a cross-reference compiler and reverse engineering tool. It compiles one text file (database) from multiple source modules (currently reads C, C++, and Perl). The tool combines reverse engineering capabilities, code validation, and an HTML documentation generator. The database can then be reused from own scripts and programs, e.g. to implement cross-compilers, validate coding conventions, build statistics etc. The builtin documentation generators are actually an application of the database.
SAOTrace is a suite of software designed to simulate the as-built performance of grazing-angle X-ray optics using the ray-tracing approach. It is derived from portions of the NASA OSAC (Optical Surface Analysis Code) software suite. It can model nested conical as well as flat optical designs, and includes the ability to model arbitrary support structures and baffles. It can model non-ideal multi-layer reflective coatings as well as scattering from the optical surfaces.