Ada resources

Ada Compilers

• GNAT GPL : Free Compiler, Tools and Libraries for MacOS X, Linux, Windows, Solaris and others
• GNU Ada : Free, high-quality, complete compiler for Ada95, integrated into the GCC compiler system
• GNAT Pro : Commercial Ada Compiler
• Aonix ObjectAda : Commercial Ada Compiler

Ada Specification and Comparisons

• Steelman : The original requirements document for Ada83
• Ada, C, C++, and Java vs. The Steelman

Ada Standards

• Ada 83
• Ada 95
• Ada 2005
• Ada 2012

Ada12

• A brief introduction to Ada 2012 by John Barnes
• Ada 2012 - Contracts and Aspects by John Barnes
• Ada 2012 - Expressions by John Barnes
• Ada12 Reference Manual [HTML] [PDF]
• [Annotated Ada12 Reference Manual] [Annotated PDF]
• [Rationale for Ada 2012]

Ada05

• [Rationale for Ada 2005] [Rationale PDF]

Ada95

• Ada syntax - BNF rules and diagrams
• Ada95 Reference Manual
• Ada 95 Rationale - explanations about the design of Ada95
• Ada 95 Quality and Style Guide

Tutorials

• The Big Online Book of Linux Ada Programming

Software

• SIGAda Resources
• AdaBasis at University of Stuttgart
• Ada Tools and Resources at Ada Power
• Collection of Ada programs
• Ada Resources at Florida Institute of Technology
• Ada Library Reference
• Ada centric development environment GRASP
• C2Ada on SourcceForge
• Ada bindings for the ORBit CORBA ORB

Ada for Real-Time and Embedded Systems

• Hard Real-Time Operating System MaRTE OS
• SPARK Ada for high assurance software
• The Ravenscar Tasking Profile for High Integrity Real-Time Programs (Aonix)
• A formal model of the Ada Ravenscar Tasking Profil: Delay Until

Mailing lists

Books

Ada 2005

• John Barnes, Programming in Ada 2005
• Alan Burns and Andy Wellings, Concurrent and Real-Time Programming in Ada
• Nell Dale and John W. McCormick, Ada Plus Data Structures: An Object Oriented Approach

Ada 95

• Norman Cohen: Ada as a Second Language
• John Barnes: Programming in Ada 95
• Simon Johnston: Ada 95 for C and C++ Programmers
• Mordechai Ben-Ari: Ada for Software Engineers
• Michael B. Feldman, Elliot B. Koffman: Ada 95 : Problem Solving and Program Design (Resources for Ada 95 Problem Solving and Program Design)

History of Ada

• Ada Language History
• Biography of Augusta Ada Byron

Mailing Lists

• Mailing list listed include: TEAM-ADA @acm.org, The ada.eu.org mailing list the copies Usenet comp.lang.ada messages, ADA-FRANCE, GNATLIST @ seas.gwu.edu, etc

Ada Links

• Ada Gems
• SIGAda
• Ada Information Clearing House
• Ada Europe
• Home of the Brave Ada Programmers
• Markus Kuhn’s Ada95 Page
• Ada FAQ - Frequently Asked Questions about Ada