Development toolkit for Web Services and XML data bindings for C & C++
An implementation of interval arithmetic
A fast compact commercial quality Forth for embedded MCUs
C/C++ system probe, test and automation toolkit
Useful crossplatform library for distributed systems
3A-TRE evaluates traditionally logical expressions under 3 assumptions