Looking forward to the Differentiable protocol, I thought I'd give it a try and implement a generic Kalman Filter. There is some similar effort for Swift Fusion at GeorgiaTech, but they seem to implement some own Linear Algebra Library.

Also S4TF has their Tensor types that, as I understand, can do Linear Algebra.

And then there is the recent post in this forum.

My question now: What should I choose? Ideally, I would make it generic enough so that any LinAlg implementation can be used, but I am not sure if there are any Protocols that are describing Matrices etc (Like in Swift-Numerics).

Or is there any candidate for a de-facto standard library? Like Eigen in C++?

Thanks for any opinions here!