Cross-platform, scientific graphics plotting library
PLplot is a cross-platform, scientific graphics plotting library that supports math symbols and human languages (via UTF-8 user input strings); plot capabilities for multiple non-interactive plot file formats and in multiple interactive environments; and bindings for multiple computer languages.
GHDL - a VHDL simulator
GHDL is the leading open source VHDL simulator. *** Now on github.com/tgingold/ghdl *** We have binary distributions for Debian Linux, Mac OSX and Windows. On other systems, getting GHDL from here means downloading the current source package and building GHDL from source. Alternatively you can get the latest source version (warning : occasionally unstable!) by pulling a snapshot from the git repository.
A fast, unobtrusive and modern cross-platform GUI toolkit. Agar fully exploits hardware acceleration where available, but also supports simple frame-buffer interfaces. Agar is stand-alone and easily portable to new platforms and graphics systems.
Eclipse-based plugin for HRT-HOOD and HRT-UML design for Hard Real Time Systems
A comprehensive library of algorithms in multiple languages, each having a detailed proof of correctness.
Qt4Ada is a thick Ada2005 binding for the Qt4 library, trying to reflect in Ada the C++ structure of Qt (inheritance), keeping the Qt spirit while providing an Ada feeling.