Tool support for the Z formal notation
Leading open-source visualization and observability platform
Spatially Oriented Format for Acoustics
A High-level Utility Package for FMI-based Software Development
BACnet stack for Rabbit 4000/5000/6000
M6811 Code-Seeking Disassembler
Multi-platform Variable Star Visualisation and Analysis
Tool for Engineering Emergent Selforganizing bEhavioR
Collaborative Computing Project for NMR (CCPN)
Formalized English (o.a.) for standardized information exchange