AdaCore
AdaCore provides commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. Our flagship product is the GNAT Pro development environment