3 open source projects by paholg

Compile-time dimensional analysis for various unit systems using Rust's type system.

Compile time numbers in Rust.

The peano numbers implemented in Rust's type system.