osDQ dedicated to create apache spark based data pipeline using JSON
Java-based scientific graphics
Analyze time-course data with significance tests, clustering, modeling
research on rules for conflict behaviour for ants
Eclipse integration for Isabelle proof assistant