Comment by pjmlp

NVidia is also using it, in fact they decided against Rust when evaluating which language to adopt for their "Safe Autonomous Driving" project.

https://blogs.nvidia.com/blog/2019/02/05/adacore-secure-auto...