Tags : Browse Projects

Dimensional is a library providing data types for performing arithmetic with physical quantities and units. Information about the physical dimensions of the quantities/units is embedded in their types and the validity of operations is verified by the type checker at compile time. The boxing and ... [More] unboxing of numerical values as quantities is done by multiplication and division with units. The library is designed to, as far as is practical, enforce/encourage best practices of unit usage. [Less]

Correctness tests for the base utilities.

A set of benchmark examples to test and compare different null safety solutions for their soundness and expressiveness.