References & Resources
The final page of the track gathers everything you need to keep learning Ada for free: run code in the browser with nothing installed, consult the authoritative standard and compiler documentation, follow structured courses, and read real Ada written by people who solve hard problems with it every day.
Official Resources & Standards
| Resource | What it is | Best for |
|---|
| Ada 2022 Reference Manual | The ISO standard text, free online (ada-auth.org) | Exact semantics of any construct |
| Ada Resource Association | Standards news, rationale documents, course materials | Tracking the language's evolution |
| GNAT User Guide | Official GNAT compiler documentation | Flags, pragmas, switch behavior |
Tutorials and Courses
| Resource | What it is | Best for |
|---|
| learn.adacore.com | AdaCore's free interactive courses: Intro to Ada, SPARK, embedded | Structured vendor-authored learning with in-browser exercises |
| Ada Programming (Wikibook) | Comprehensive community book with examples for every chapter | A second explanation of any topic in this track |
| SPARK to the Moon | Free guided SPARK course building a lunar system | Contracts and proofs after Phase 5 |
| Resource | What it is | Best for |
|---|
| Alire | The package manager and crate index | Starting projects, finding libraries |
| GNAT downloads | Compiler distributions (also via alr toolchain) | Installing the toolchain from the Setup lesson |
| Ada playground | Browser-based compiler — no installation | Trying snippets before installing anything |
| Resource | What it is | Best for |
|---|
| forum.ada-lang.io | The active Ada Discourse forum (plus a Discord) | Asking questions, following language discussions |
| Rosetta Code — Ada | Idiomatic Ada solutions to hundreds of small tasks | Comparing Ada with languages you already know |
| AdaCore Blog | Deep dives on features, SPARK, and tooling | Intermediate-to-expert reading |
| AdaCore on GitHub | Open source tooling and libraries (see the Open Source Projects page) | Reading production Ada |
Every external link on this page opens in a new tab and was verified for this revision of the track. The short list on the
track index is the distilled version.
