Helper library for `vee_parse`
A Rust library for online monitoring of Signal Temporal Logic (STL) specifications.
Procedural macros for the mstlo online Signal Temporal Logic (STL) monitoring library.
Multi-domain fixed-point arithmetic with geometric extension: Lie groups, manifolds, ODE solvers, tensors, fiber bundles — zero-float, 0 ULP transcendentals