si

github.comtool

Checked and unchecked SI units.

from

Ada/SPARK

added

2026-10-10

likes

0

similar

1. ▲

   si-units github.com

   Utility library to pretty print physical values in proper metric units.

   tool link ↗
   
2. ▲

   units-of-measurement dmitry-kazakov.de

   Library to manage units of measurement with dimension checking.

   site link ↗
   site
3. ▲

   aunit github.com

   Ada unit testing framework.

   tool link ↗
   
4. ▲

   spark-2014 github.com

   SPARK formal verification toolset.

   tool link ↗
   
5. ▲

   math-packages github.com

   Collection of basic math routines in Ada.

   tool topic math link ↗
   tool
6. ▲

   acats github.com

   The Ada Conformity Assessment Test Suite, customised for GCC.

   tool link ↗
   

Ada/SPARK › Libraries > Science: “Checked and unchecked SI units.”