db4o is an object database for Java and all .NET environments. Its features include ACID transactions, automatic class schema recognition, query-by-example, a S.O.D.A. object querying API, native queries, LINQ support on .NET, callback methods, memory files, cascade-on-delete, multi-threaded access, and Java Webstart and servlet support.
Isabelle is a popular generic theorem prover developed at Cambridge University and TU Munich. Existing logics like Isabelle/HOL provide a theorem proving environment ready to use for sizable applications. Isabelle may also serve as framework for rapid prototyping of deductive systems. It comes with a large library including Isabelle/HOL (classical higher-order logic), Isabelle/HOLCF (Scott's Logic for Computable Functions with HOL), Isabelle/FOL (classical and intuitionistic first-order logic), and Isabelle/ZF (Zermelo-Fraenkel set theory on top of FOL).
Baudline is a time-frequency browser designed for scientific visualization of the spectral domain. Signal analysis is performed by Fourier, correlation, and raster transforms that create colorful spectrograms with vibrant detail. Conduct test and measurement experiments with the built in function generator, or play back audio files with a multitude of effects and filters. The baudline signal analyzer combines fast digital signal processing, versatile high speed displays, and continuous capture tools for hunting down and studying elusive signal characteristics.
jMusic provides a library of classes for generating and manipulating music, and is a solid framework for computer assisted composition in Java. jMusic supports composers by providing a music data structure based upon note/sound events, and methods for working with that musical data. jMusic can read and write MIDI files, audio files, and its own .jm files. jMusic is designed to be extendible, encouraging you to build upon the functionality of jMusic by programming in Java to create your own music composition tools.
Crossfire is a multi-player graphical arcade and adventure game made for X. It has certain flavours from other games, especially Gauntlet and the rogue-like games (Nethack, Moria, Angband, and Ragnarok). Any number of players can move around in their own window, finding and using items and battling monsters. They can choose to cooperate or compete in the same world.
Doom was the classic 3D shoot'em'up game from id Software. PrBoom is a game engine for playing Doom levels, which runs on both Windows and Linux/Unix systems. It uses the SDL graphics library. PrBoom a very faithful Doom port, with great effort taken to be compatible with as many original Doom levels and demos as possible.
XaoS is a fast, portable, real-time, and interactive fractal zoomer. It displays the Mandelbrot set (among other escape time fractals) and allows you zoom smoothly into the fractal. Various coloring modes are provided for both the points inside and outside the selected set. In addition, switching between Julia and Mandelbrot fractal types and on-the-fly plane switching is provided.
Mckoi SQL Database is a full featured SQL-92 relational database management system written in Java. The software can operate as either a dedicated multi-client, multi-threaded database server, or can be used as an embedded database inside a Java application. The engine is designed to be easy to use and maintain and versatile for sophisticated database development tasks. The software provides a JDBC 2.0 driver.