Framework & GUI for Bayes Nets and other probabilistic models.
Component, CA, and CCA models; superdense time, DB repo, testing, etc.
Group of multi-purpose Java-converted-from-C# parsing libraries.
Petri net framework for security related modeling and reasoning.
Command Centre