An implementation of interval arithmetic
A collection of mathematical packages in pure Ada
An Ada implementation of the Hungarian Algorithm to minimize cost
An HP RPN calculator with interval output
Simulation of a two-channel Bell test, with closed-form proofs
C++ Templates and Ada Package for Automatic Differentiation