Computer Assisted Proofs in Dynamics
Oberon family of languages to C translator for ARM, x64 and x86 archit
CIRMMT Live Electronics Framework
A "Task Manager" for Microsoft Windows.
Disk diagnostic for disk/controler/driver testing
LED Color Control System for RaspberryPi and Dreambox
Science simulator and advanced calculator based on modules
a realtime graphics library
C++ Tcl interface library
HandyTimer is a timekeeping / alarm / stopwatch tool
EFT simulator