The goal of Hilbert II, which is in the tradition of Hilbert's program, is the creation of a system that enables a working mathematician to put theorems and proofs (in the formal language of predicate calculus) into it. These proofs are automatically verified by a proof checker. Because this system is not centrally administered and enables references to any location on the Internet, a world wide mathematical knowledge base could be built. It also contains information in "common mathematical language".
Simulum deals with different simulations of star movements and their visualizations. At first it looks at the projection and accumulation of star brightness. In actually doing this it distributes stars among a three dimensional figure. To get a nice effect it combines the photographic image production with a moving view point. So the outcome is the visual impression of flying through a star field. Secondly it studies different algorithms of particle movements and clustering. The primary approach uses a combination of Newton's gravitational law, energy, and impulse conservation. At all these stages an highly dynamic view of the processes is able to be produced.
JBup (Java Backup) aims to become a robust, professional backup tool. It creates a mirror of the current file set and compares it to the previous version. The deltas are saved and the previous mirror is removed. By applying the increments in reverse time order, complete backups of arbitrary versions can be created. It is an Ant task and can therefore be used in Ant scripts that perform additional backup actions, such as archiving directories or sending emails.
JCons provides a library that bring color to your Java console. The Java console gives no methods to change the foreground or background color. With help of this library, one can make error messages red and success messages green, for example. Most Unix terminals can deal with ESC sequences, so they are used to make the Java console colorful.
The Poor Woman's Telnet Server was quickly hacked together to provide a simple cross-platform telnet server. For non-Windows or non-Unix operating systems, you must adapt the call for the system shell. It is not advisable to run such an program on a production server, but for software development and testing purposes this program can satisfy some needs. It doesn't require a password and starts a system shell as the user who started the server.