A collection of mathematical packages in pure Ada
A GUI library for designing gauges, meters, oscilloscopes, plotters
An implementation of interval arithmetic
Tables indexed by strings
String editing and formatting library for Ada
Handling dimensioned values in Ada
Fuzzy sets, logic, numbers; intuitionistic fuzzy sets, fuzzy linguis
An Ada 2012 binding to the FFTW fast Fourier transform library
Simulation of a two-channel Bell test, with closed-form proofs
GHDL - a VHDL simulator
A partial port of Lapack to Ada 2012