Tool support for the Z formal notation
Ultra Fast Geospatial Database & Geofencing Server
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