I absolutely love AdaCore, last employer (~6 years ago) worked heavily with Ada and AdaCore, the support from them was just mind-blowing, sounds like a advertisement i know, but not often have i seen something like it..well maybe from SGI and DEC..longlong time ago.
I like my Rust and furries as the saying goes, but Ada is the underrated language out there. It really has a lot of things doing well for it, is really nice to write shit in it and probably the AdaCore being a single entity behind modern chain is what's both good and bad behind it. Yes, GNAT.. but, same thing.
