Software Map

LA-MPI is an implementation of the Message Passing Interface (MPI) motivated by a growing need for fault tolerance at the software level in large high-performance computing (HPC) systems. Emphasis is placed in particular on complex HPC systems using commercial off-the-shelf components, where system-wide error rates may become unacceptable on long application runs.

Xeukleides is a GUI for the first version of the language Eukleides, which is no longer being developed.

Medoosa is a documentation tool for C++ that can produce UML class diagrams, including generalizations and associations. Corrections can be made interactively in a diagram editor (Dia) and are fed back into the source as Javadoc-style comments. The layout must still be done by hand.

HighLnk is a hard-linking tool, which scans the current
directory, searching for files with the same content, then
hard-linking this directory to another location, making two
equal files only point to one real file on the media.

CyDoc is a Web-based doctor's office application. It allows you to track your patients' medical history and handles all your billing needs.

Higher Order Logic (HOL) is a programming environment in which theorems can be proved and proof tools implemented. Built-in decision procedures and theorem provers can automatically establish many simple theorems. An Oracle mechanism gives access to external programs such as SAT and BDD engines. HOL 4 is particularly suitable as a platform for implementing combinations of deduction, execution, and property checking.

Rascal, the Advanced Scientific CALculator, is a platform-independent modular
calculator. It is based on modules for supporting its various data types, and
it can be easily extended with existing C or C++ code. The available modules
are integers, long numbers, doubles, strings, vectors, matrices, complex
numbers, Taylor arithmetic (automatic differentiation), and fractions.

XiStrat (aka 'Extended Strategy') is in particular about turn-based, networked multiplayer, non-cooperative, zero-sum, abstract strategy board games (e.g., Chess, Go, Reversi variants, etc.) on 3D-visualized polyhedra and contains a server, client GUI, autoplayer engine, utilities, and documentation. Related recreational modern mathematics (single agent, cellular automata, graph/group/complexity/knot theory, discrete geometry, algebra, combinatorics, and mathematical physics) is also dealt with.

BBBike is a geographical information system including a route-finder for cyclists. While specialized for use in Berlin and Brandenburg, the software may be tailored for other cities and regions, too.

FMS is a tool to create all kinds of sounds from scratch. You
can play any sound (sine, triangular, vowels, etc.) with any property settings (frequency, volume, balance, sweep, etc.) and modulations thereof. It also features tools to save sounds, play .MUS music, graphically display sounds, and make real noise.