web analytics
Developers Forge for Open Source Ada Code and Tools - Learn programming in Ada
Learn Ada
🙏🏼 Big thanks to Olivier Henley and David Botton for their work collecting all those excellent learning materials 🙏🏼
See Olivier’s dedicated awesome-ada page on GitHub and David Botton’s LearAdaNow site.

Entry Points

Stacks Image 473
Stacks Image 461
Stacks Image 509

Programming with Ada

Learn Ada Now
Stacks Image 445
Stacks Image 448

Tutorials

Coming from ?

  • C++ - Ada for the C++ or Java Developer.
  • Java - Ada for the C++ or Java Developer.
Stacks Image 463
Rosetta Code is a programming chrestomathy site.
It presents solutions to the same task in many different languages, to demonstrate how languages are similar and different.

Online books

  • ada-distilled - Ada Distilled for Ada 2005.
  • ada-craft - Ada 95: The Craft of Object-Oriented Programming.
  • spark-guidance - Implementation Guidance for the Adoption of SPARK.
  • ada-safe-secure - Safe and Secure Software. An invitation to Ada 2012.
  • ada-95-tutorial - A book going from beginner to advanced concepts in Ada 95, complete with source files.

Specialties

  • Ada 95 Quality and Style: Guidelines for Professional Programmers (DoD)
  • Adagems - The Ada Gem 2007-2014 Archive published by the Adacore experts
  • ada-composition - A collections of small nifty demos/sample code that may help better layout data or structure project.

Reference

  • iso-standard - The 2012 revision to the Ada Standard, usually known as Ada 2012.

GDPR compliant