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

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.

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

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

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.

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.

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

learn.adacore.com Introduction to Ada This course will teach you the basics of the Ada programming language and is intended for those who already have a basic understanding of programming techniques.

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.

2025年3月12日 · At AdaCore, we’re in the business of supporting people who develop high-integrity software, in particular for embedded systems. In terms of programming languages, this means supporting the most commonly found candidates, which in 2024 include C/C++, Ada/SPARK, and Rust.