quantities
Unit converter library
A library for type-safe physical computations and unit conversions in Idris.
Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐
158 stars
12 watching
11 forks
Language: Idris
last commit: almost 6 years ago
Linked from 1 awesome list
type-safetyunit-conversionunits-of-measure
joaomilho/awesome-idrisRelated projects:
| Repository | Description | Stars |
|---|---|---|
 ikhramts/metrify | A browser extension that converts units between imperial and metric systems | 6 |
 to-ithaca/libra | A dimensional analysis library based on shapeless, spire and singleton-ops for SI units support | 199 |
 rferro/normat | A JavaScript library for converting between different units of measurement such as bytes, milliseconds, and time intervals. | 34 |
 onmyway133/scale | Unit converter library in Swift for common physical quantities | 323 |
 mjendrusch/metric | Enables dimension-level analysis and unit handling in Nim programming language | 19 |
 erussell/as3units | An ActionScript library for parsing, formatting and converting units of measure | 1 |
 nholthaus/units | A library providing compile-time dimensional analysis and unit conversion capabilities. | 963 |
 triplepoint/php-units-of-measure | A library for representing and converting physical quantities in various units of measure | 22 |
 michalkonturek/mkunits | A unit conversion library for Swift | 342 |
 llnl/units | A C++ library for working with units of measurement at runtime, enabling conversions between them and with string representations. | 146 |
 heisenbugltd/si_units | Utility library to format physical values in properly scaled metric units | 8 |
 udiknedormin/nimunits | Provides a statically-typed quantity units library for the Nim language | 38 |
 olbrich/ruby-units | A gem that simplifies unit conversions in scientific calculations by providing a class to handle units and perform various mathematical operations on them. | 527 |
 crisu83/php-conversion | A PHP library for converting units and sizes across different measurement systems | 131 |
 goldfirere/units | Provides compile-time dimensional analysis for Haskell applications | 95 |