AdaCore - AdaCore - The GNAT Pro Company.

http://www.adacore.com/

AdaGide - AdaGIDE is the Ada GNAT Integrated Development Environment for Windows 95/NT/2000/ME/XP.

http://adagide.martincarlisle.com

C2Ada Sourceforge project - This project is the current home of the C2Ada C to Ada translator program.

http://c2ada.wiki.sourceforge.net/

Compaq Ada - The Compaq Ada family of products is the Ada programming language implementation from Compaq Computer Corporation.

http://www.openvms.digital.com/commercial/ada/ada_index.html

GNAT for Macintosh - Provides a full-featured Ada development environment for the Apple Macintosh computer.

http://www.macada.org/

IBM Rational Software - IBM Rational Ada Developer is an integrated development environment for Ada-based applications.

http://www-306.ibm.com/software/awdtools/developer/ada/

Polyspace Technologies - Polyspace Technologies provides the Ada Verifier.

http://www.polyspace.com/

Raincode - The Belgian company produces RainCode for Ada, which is a quality control technology that operates on large amounts of existing Ada code, both legacy or during development.

http://www.raincode.com

SCI Tools/Understand for Ada - Understand for Ada is an interactive development environment (IDE) tool offering reverse engineering, automatic documentation, code navigation and understanding, metrics, maintenance and cross reference tool for Ada 83 and Ada 95 source code.

http://www.scitools.com/uada.html