Tool support for the Z formal notation
statistical tests & psuedo- random number generators (RNGs, PRNGs)
Arduino and PlatformIO IDE compatible TFT library
Arbitrary-precision CRC calculator and algorithm finder
The Open On-Chip Debugger
An object relational-mapping (ORM) library for Java
Augmented reality library based on OpenCV
Agena is an interpreted procedural programming language.
Eclipse 4diac the open source solution for industrial automation
tiny tool to inject DLLs into Windows processes
Object-oriented equation-based modelling and optimisation software
The classic RPL programming language reimplemented and reimagined.
Cross-platform DICOM implementation
Toolboxes for parameter continuation and bifurcation analysis.
Collection of fast and optimized assembly libraries for x86-64 Linux