Dimensioned is a library for compile-time type checking of arbitrary unit systems.
To use, place in Cargo.toml:
[dependencies]
dimensioned = "*"
Note, though, that it is currently going through volatile changes and will stabilize sometime in the future.
Dimensioned has its own website, available here. It is also on Crates.io.