Framework & GUI for Bayes Nets and other probabilistic models.
Parallel Optimization Library for Java
Verification via biSimulations of Max-Plus-Linear models
a delicious .NET graph library
jAgg - Java Aggregation Operations
Synchronous Petri Nets' emulator
Matlab Toolbox for reading and writing videos.