refined units-of-measure pureconfig unit-quantity avro-schema configuration configuration-management numeric type-safety unit-analysis static-types typeclass unit-conversion units scala dimensional-analysis typechecking typelevel

measure typelevel-programming scalajs seconds units-of-measure no-boxing bytes analysis dimensional length time meters formatting typelevel unboxed compile-time units scala