timjb / quantitiesLinks

Type-safe physical computations and unit conversions in Idris βš– 🌑 ⏲ πŸ”‹ πŸ“
β˜†160Updated 6 years ago

Alternatives and similar repositories for quantities

Users that are interested in quantities are comparing it to the libraries listed below

Sorting: