zainab-ali / libra

A dimensional analysis library based on dependent types

GitHub

Libra

Typelevel incubator Build Status codecov

Libra is a dimensional analysis library based on shapeless, spire and singleton-ops. It contains out of the box support for SI units for all numeric types.

Take a look at the guide for what it is and how to use it.

Versions

libra shapeless spire singleton-ops
0.2.0 2.3.2 0.13.0 0.0.3

How to help

Take a look at the guide on contributing.

Project maintainers

Libra is maintained by: