Pinned Loading

1. dimensioned dimensioned Public

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

   Rust 300 23

2. typenum typenum Public

   Compile time numbers in Rust.

   Rust 516 46

3. subenum subenum Public

   A Rust macro to make enums with a subset of values of the parent

   Rust 82 6

4. peano peano Public

   The peano numbers implemented in Rust's type system.

   Rust 24 1