Similar Items: faer: A linear algebra library for the Rust programming language
- TNC: Distributed Tensor Network Contractions in Rust
- Pebble Games and Algebraic Proof Systems
- A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics
- AlgebraicAgents.jl: Hierarchical Composition of Multi-Formalism Dynamical Systems
- LinearMPC.jl: A Julia Package for Embedded Linear Model Predictive Control
- Decorrelated Local Linear Estimator: Inference for Non-linear Effects in High-dimensional Additive Models