Framework for numerical computations, data analysis and visualisation
Uranie is CEA's uncertainty analysis platform, based on ROOT
Unicode XML TEI text analysis platform
Proof Logic : A logical framework for theorem proving
Heterogeneous Software Development Accelerated
A small, basic, yet powerful and competent primality tester.