Ada: https://www.adahome.com/
https://www.rational.com/
https://www.aonix.com/
https://www.rrsoftware.com/
https://www.ghs.com/
GNAT: (Ada Core Technologies): https://www.gnat.com/
For comparison of Java and C go to: https://www.adahome.com/Resources/Languages/chart3.html