Weka4OC: Weka for Overlapping Clustering is a GUI extending WEKA
Hypervisor R&D for recent x86 with support for DRTM + 2D paging
proof verifier for mathematical proofs and documentation generator
clustering, machine learning, algorithms
Static analyzer for Java bytecode
General purpose matrix utilities for Java in Parallel Computing
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
A java library for polymorphic genome assembly.
simple event-based plugin interface to open up hardwired software
GUI for the coocking hacks eHealth
Full-blown Standard ML Compiler
mojo provides fast analyzes for your business processes
Learning Linux, programming and embedded computer.