Tool support for the Z formal notation
Framework & GUI for Bayes Nets and other probabilistic models.
Satellite Procedure Execution Language and Library
NGSEP (Next Generation Sequencing Experience Platform)
Component, CA, and CCA models; superdense time, DB repo, testing, etc.
JASI - Java Event-Based Simulation Framework
A Dassault Aviation project to simplify the building of prototypes
Data Exploration for Swift and other N-body simulation
SDC facilitates development of dist. systems of medical devices.
Unicode XML TEI text analysis platform
The MaryTTS module for the protoFramework project
Framework for Systems Biology
Samples for the protoFramework project
Toxicity prediction for chemical compounds