Compile-time dimensional analysis for various unit systems using Rust's type system. http://paholg.com/dimensioned/ - View it on GitHub