Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/to-ithaca/libra

A dimensional analysis library based on dependent types
https://github.com/to-ithaca/libra

Last synced: about 2 months ago
JSON representation

A dimensional analysis library based on dependent types

Awesome Lists containing this project

README

        

# Libra

Testing GitHub actions workflow

[![Join the chat at https://gitter.im/to-ithaca/libra](https://badges.gitter.im/to-ithaca/libra.svg)](https://gitter.im/to-ithaca/libra?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge)

[![Typelevel incubator](https://img.shields.io/badge/typelevel-incubator-F51C2B.svg)](http://typelevel.org)
[![Build Status](https://github.com/to-ithaca/libra/workflows/Main%20CI/badge.svg)](https://github.com/to-ithaca/libra/actions?query=workflow%3A%22Main+CI%22)
[![codecov](https://codecov.io/gh/to-ithaca/libra/branch/master/graph/badge.svg)](https://codecov.io/gh/to-ithaca/libra)
[![Nexus](https://img.shields.io/nexus/r/https/oss.sonatype.org/com.github.to-ithaca/libra_2.13.svg)](https://oss.sonatype.org/content/groups/public/com/github/to-ithaca/libra_2.13/)

Libra is a dimensional analysis library based on [shapeless](https://github.com/milessabin/shapeless), [spire](https://github.com/non/spire) and [singleton-ops](https://github.com/fthomas/singleton-ops). It contains out of the box support for SI units for all numeric types.

Take a look at the [guide](https://to-ithaca.github.io/libra/) for what it is and how to use it.

## Versions

libra | shapeless | spire | singleton-ops
------|-----------|-------|--------------
0.6.0 | 2.3.3 | 0.17.0-M1 | 0.4.0
0.5.0 | 2.3.3 | 0.16.0 | 0.3.1
0.4.0 | 2.3.3 | 0.14.1 | 0.2.2
0.3.0 | 2.3.2 | 0.14.1 | 0.2.2
0.2.0 | 2.3.2 | 0.13.0 | 0.0.3

## How to help

Take a look at the [guide on contributing](https://github.com/to-ithaca/libra/blob/master/CONTRIBUTING.md).

## Project maintainers

Libra is maintained by:

* [zainab-ali](https://github.com/zainab-ali) Zainab Ali
* [yilinwei](https://github.com/yilinwei) Yilin Wei