High-performance symbolic mathematics with final tagless design, egglog optimization, and Rust hot-loading compilation
Procedural macros for compile-time mathematical optimization