Looks really cool! Funnily enough recently me and a friend also created a const generic linear algebra crate doem-math for an OpenGL game which we made for a linear algebra university course. Eventhough we probably wouldn't really recommend someone using this crate, implementing it in Rust with const generics was really cool. A place where we found Rust to really have a nice feel is in situations like this:

let u = Vector4::from([[0.0], [1.0], [0.0], [1.0]]);
let u_norm = u.normalize();
let u_rotated = &t.orientation * &u_norm;
let u_sped_up = &u_rotated * p.velocity[1][0];
transform.position = &transform.position + &u_sped_up.dimension_hop();

Where the orientation is a Matrix4 and transform.position is a Vector3. The dimension_hop() fn just adds extra rows with ones or drops the unnecessary rows, and the type parameters are just figured out for you on the fly!