libra

A dimensional analysis library based on dependent types

GitHub

198 stars
11 watching
23 forks
Language: Scala
last commit: about 1 month ago