to-ithaca/libra

A dimensional analysis library based on dependent types

语言：Scala · GitHub 星标：195 · Fork：21

在 GitHub 上查看原仓库