I work at Nvidia, and my team is using Slang for all of our (numerous and non-trivial) kernels because its automatic differentiation type system is so nice.

Especially when using the tooling from who created it, before offering it to Khronos as GLSL replacement, NVIDIA.