Tool support for the Z formal notation
Framework & GUI for Bayes Nets and other probabilistic models.
Component, CA, and CCA models; superdense time, DB repo, testing, etc.
JASI - Java Event-Based Simulation Framework
Toxicity prediction for chemical compounds
Group of multi-purpose Java-converted-from-C# parsing libraries.
Windows binaries for the GNU Linear Programming Kit (GLPK)
Open IoT Framework
Modular Java framework for meta-heuristic optimization
Petri net framework for security related modeling and reasoning.