Tool support for the Z formal notation
Collection of fast and optimized assembly libraries for x86-64 Linux
Satellite tracking software
ECG Toolkit support for: SCP-ECG, DICOM, HL7 aECG, ISHNE & MUSE-XML
Individual-based forward-time genetics simulation software
Object-oriented equation-based modelling and optimisation software
CFD-related Fortran libraries and applications
Echoes is a radio spectral analysis software for SDR devices
Free offline SEM software with HTMT, bootstrapping & exports
An USB programmer for PIC, dsPIC, AVR, serial memories
Components for IEC61375 standardised communication
IEC 60870-5-104 protocol tester.
Zoomable user interface (ZUI) with file manager, file viewers and more
Plug&Play Hardware simulation over a virtual bus system.
Library designed for the Arduino Uno platform and AVRPascal editor
The EPICS SNL Compiler and Sequencer
Navigational Algorithms - Marine navigation
Math library for Free Pascal and Lazarus.
Vectorized libm