A basic enterprise information development platform
JASI - Java Event-Based Simulation Framework
Tool support for the Z formal notation
Framework & GUI for Bayes Nets and other probabilistic models.
A Dassault Aviation project to simplify the building of prototypes
Ladder editor and debugger
NOTICE OF CONSOLIDATION & PARTNERSHIP PENDING As of April 2026, the 20
NGSEP (Next Generation Sequencing Experience Platform)
Satellite Procedure Execution Language and Library
Frevo is probably the simplest tool for evolutionary design
Component, CA, and CCA models; superdense time, DB repo, testing, etc.
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