AdaCore is the leading provider of commercial software solutions for Ada, C and C++ — helping developers build safe and secure software that matters.

AdaCore provides complete software development environments plus Static Analysis & Testing, Model-Based Engineering, and Formal Verification tools

Get professional Ada training from Adacore. Experience has shown that Ada is an extremely learnable language and that programmers with basic knowledge in other languages can quickly get up to speed with Ada.

Since 2005, AdaCore has released an annual version of its GNAT Community toolchain for free software developers, hobbyists, and students.

AdaCore helps developers build safe and secure software through robust tools and expertise. The Ada ecosystem is made stronger through our partners.

AdaCore helps people build software that matters and GNAT Pro has grown into the benchmark Ada, C, and C++ environment for critical industries.

A language is only as good as its implementation, and AdaCore’s GNAT technology has been supporting Ada customers since the company’s inception. GNAT Pro includes a rich IDE and a variety of tools that can help you to become productive with Ada quickly, and to produce reliable code that will make your customers happy.

With our commitment to Open Source, AdaCore is a major contributor to GitHub. @AdaProgrammers Launched during the Make with Ada competition, the @AdaProgrammers account keeps up an active presence on twitter.

Get started with the GNAT development environment. GNAT is a robust and flexible Ada and SPARK development environment. It comprises a full compiler, an IDE, and a comprehensive toolsuite.

AdaCore supports the Ada, SPARK, C, and C++ languages with a complete range of compilers, IDEs, debuggers, and static and dynamic analysis tools.