Typed linear algebra composes linear algebra libraries with strongly typed quantity, unit libraries to add compile-time guarantees and developer ergonomics for safer physical linear algebra systems. We present a first, free, and open-source implementation that integrates dimensional analysis in linear algebra computations through the type system while preserving the performance of established numerical backends. The … Continue reading Typed Linear Algebra