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