!!! NO LONGER MAINTAINED !!!
Python Framework for Multipurpose Server
proof verifier for mathematical proofs and documentation generator
clustering, machine learning, algorithms
Static analyzer for Java bytecode
A library for monitoring the garbage collection of app objects
S-BITE is an AS level topology generator for the Internet
A C++ template library extending syntax towards mathematical notation
GUI for the coocking hacks eHealth
mojo provides fast analyzes for your business processes
QUAD Memory Access Profiling Toolset