I've done some hobby projects in Rust. One was a SIMD abstraction library, where you could write code that looks more or less like SIMD intrinsics, but it would either at compile time or runtime select the SIMD instruction set for the target cpu.

The traits/generics/macro system made that feasible, though messy. You can do similar things with templates in C++