https://github.com/to-ithaca/libra
A dimensional analysis library based on dependent types
https://github.com/to-ithaca/libra
Last synced: 18 days ago
JSON representation
A dimensional analysis library based on dependent types
- Host: GitHub
- URL: https://github.com/to-ithaca/libra
- Owner: to-ithaca
- License: other
- Created: 2017-03-01T13:42:38.000Z (about 8 years ago)
- Default Branch: master
- Last Pushed: 2024-08-15T20:36:22.000Z (10 months ago)
- Last Synced: 2024-11-18T16:57:40.823Z (6 months ago)
- Language: Scala
- Size: 2.58 MB
- Stars: 199
- Watchers: 11
- Forks: 23
- Open Issues: 25
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- Contributing: CONTRIBUTING.md
- License: LICENSE
Awesome Lists containing this project
- awesome-scala - libra - ithaca/libra)  (Table of Contents / Science and Data Analysis)
- fucking-awesome-scala - libra - ithaca/libra)  (Table of Contents / Science and Data Analysis)
- fucking-awesome-scala - libra - ithaca/libra)  (Table of Contents / Science and Data Analysis)
README
# Libra
Testing GitHub actions workflow
[](https://gitter.im/to-ithaca/libra?utm_source=badge&utm_medium=badge&utm_campaign=pr-badge&utm_content=badge)
[](http://typelevel.org)
[](https://github.com/to-ithaca/libra/actions?query=workflow%3A%22Main+CI%22)
[](https://codecov.io/gh/to-ithaca/libra)
[](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