Ada Reference Manuals, Rationales and related publications

• for online versions and downloads, and for information about printed editions, click  here.
  
  

Users and Educators

•  Where is Ada used in Industry ?  -- overviews and links to projects
•  Ada success stories from non-defense applications  -- some selected applications
•  Universities and colleges teaching Ada as first or secondary language 

Organisations

• Ada-Europe -- the organization of European Ada societies 
• ISO/IEC JTC1/SC22/WG9 (Ada) -- the ISO home of Ada Standards 
• SIGAda -- the Special Interest Group of ACM 
• Ada Semantics Interface Specification (ASIS) Working Group 
• AdaIC -- the new Ada Information Clearinghouse 

Ada Compilers: suppliers and documentation

• AdaCore - maintainers of the GNAT compiler 
• GNAT User's Guide 
• GNAT Reference Manual 
• Aonix -- the company selling ObjectAda 
• Aonix -- the German site of Aonix 
• DDC-I -- Ada compilers for real-time embedded applications 
• Green Hills Software Inc. -- Ada compilers and RTOS 
• Irvine Compiler Corp. 
• Rational Software Corporation -- the company selling Apex, now integrated into IBM

(compiler and programming environment for Ada83 and Ada95) 
• List of Validated Ada 95 Compilers 

Reusable Ada Software

• Ada Home -- was perhaps the most complete WWW Server for Ada; presently not maintained 
• Ada Power -- a compendium of useful bindings, small and big tools, and other useful thing  
• AdaBasis -- a repository of (mostly) free Ada Software, based on the PAL  
• Ada Server Lausanne (EPFL) -- LGL Ada Component Library, GLADE Filter Add-Ons, Ada 95 Pretty Printer based on ASIS 

Software companies and products

• Esterel Technologies-- Correct-by-construction design tools  
• RainCode -- Reverse Engineering of legacy code 
• TNI Europe Ltd. -- HOOD-related tools 

Ada resources lists elsewhere

• Ada World -- a new Ada related website 
• Ada Server Lausanne (EPFL) -- similar to our page 
• Ada sur le web -- catalog of Ada resources (in French) 

See also the web pages of the national Ada organizations for Ada-related links!