Pacioli
A statically typed unit-aware matrix language
View project on
GitHub
Units in Types