More News »


The Ada Information Clearinghouse provides resources on the Ada programming language. These include:

All of our resources can be found via the navigation bar at the top of every page, or by browsing the site using the site map.


The Ada Information Clearinghouse is provided as a service of the Ada Resource Association and its sponsors. Interested in helping Ada grow? Consider joining the ARA.

Ada Tools

Looking for Ada Tools to speed your development? Check out our Professional Tools and Services page. It contains listings of vendors of Ada compilers, Ada libraries, Ada correctness checkers, and much more.

Can't find the tools you need in the vendor listings? Check out our Free Tools and Libraries page. It contains listings of free Ada tools of many types, including GUI construction tools, Ada programming environments, and many more.

Tired of looking through listings to find what you want? Try the Ada-on-the-web search engine, which searches more than 200 sites and parts of sites devoted to the Ada Programming Language, without mixing in results for other languages, dairy farmers, dentists, and disabled people, or missing results because of very specific queries.

Ada 2012 Update completed

Technical Corrigendum 1 for Ada 2012 was published by ISO on February 1st. This document contains corrections and small improvements to the Ada 2012 language; this is considered an update to Ada 2012, not a new version of the language.

The ARA/Ada-Europe press release on the Corrigendum can be read here.

A version of the Ada Reference Manual that consolidates these changes with the original text can be found at the Ada Conformity Assessment Authority in a variety of formats. The AARM is also available there.

The Corrigendum document itself can also be found at the Ada Conformity Assessment Authority; keep in mind that this is just a list of changes to the Ada 2012 Standard and as such is not very useful by itself.

An update to the Ada 2012 Rationale describing the changes to Ada 2012 found in the Corrigendum can also be found at the Ada Conformity Assessment Authority.

Ada Learning Materials

The AdaIC site collects a wide variety of materials and information useful for learning Ada. Beyond the usual collection of printed books for every modern version of Ada, we also have a variety of electronic books, electronic tutorials, social media sites for answers to specific questions, Ada-related websites, information on professional Ada training, and even a list of schools that use Ada in their curriculum. Check it out in our Learn Ada section.

Upcoming Events

High Integrity Software Conference 2016

Nov 1, 2016 — Bristol, UK

Ada-Europe 2017

Jun 12-16, 2017 — Vienna, Austria

ARA Sponsor Spotlight

AdaCore View All Sponsors

Case Studies

Eurofighter Typhoon

BAE Systems are using Ada in the development of software for the Eurofighter's mission computers. Continue Reading

The Ada Information Clearinghouse, maintained by the Ada Resource Association, is your portal to news and resources for Ada and related technologies. Learn more about the ARA.