Paho Lurie-Gregg

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

paholg

A Minsky Machine in Rust's type system

paholg

The peano numbers implemented in Rust's type system.

paholg

Compile time numbers in Rust.

paholg

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

paholg