neco-linear-types
neco-linear-types provides checked shapes, validated vector storage, and linear operator interfaces for numerical linear algebra.
Public API
Shape: row and column dimensions with checked element countsRowIndex,ColumnIndex: indices created through shape validationVector<T>: vector storage with checked construction and value accessLinearOperator<T>: a trait with vector-length domain, codomain, and checked applicationLinearError: dimension, index, storage, capacity, allocation, and storage validity failures
Runtime configuration
The default configuration uses the standard library. The no-default-features configuration uses dynamic allocation with no_std.
License
MIT License.