AdaCore

 
Founded in 1994, AdaCore is the leading provider of commercial, open software solutions for Ada, a modern programming language designed for large, long-lived applications where reliability, efficiency and safety are absolutely critical. AdaCore’s flagship product is GNAT Pro, the commercial-grade open Ada development environment, which comes with expert online support and is available on more platforms than any other Ada technology.