libra

Unit converter

A dimensional analysis library based on shapeless, spire and singleton-ops for SI units support

A dimensional analysis library based on dependent types

GitHub

199 stars
11 watching
23 forks
Language: Scala
last commit: 5 months ago

Related projects:

Repository Description Stars
timjb/quantities A library for type-safe physical computations and unit conversions in Idris. 158
nholthaus/units A compile-time dimensional analysis and unit conversion library. 968
onmyway133/scale A unit converter library written in Swift for macOS applications 323
heisenbugltd/si_units Utility library to format physical values in properly scaled metric units 8
carturoch/ex_uc Conversions between different units of measurement in various contexts. 21
mjendrusch/metric Enables dimension-level analysis and unit handling in Nim programming language 19
goldfirere/units Provides compile-time dimensional analysis for Haskell applications 95
scalalandio/chimney A Scala library for automating data transformations without boilerplate code. 1,181
lcallarec/united A Vala library for working with units and quantities 11
llnl/units A C++ library for working with units of measurement at runtime, enabling conversions between them and with string representations. 147
jhumphry/ada_bintoasc A library providing flexible binary-to-ASCII encoding and decoding capabilities 0
michalkonturek/mkunits A unit conversion library for Swift 342
azhur/kafka-serde-scala Library providing implicit typeclass converters for various serialization formats to Kafka serializers 57
com-lihaoyi/geny A small library providing push-based versions of common standard library interfaces 93
galliaproject/gallia-core A Scala library for data transformation with schema awareness 86