measure graph-algorithms vertex coarsing big-data link-predication comunity-detection-methods spark heuristics graph approximation network-analysis machine-learning dsl

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