Ada is powering satellites, aircrafts, ships, power plants, surgical robots, drones, CNCs, servers, games and coffee makers.
Ada is arguably the most { performant ∩ capable ∩ precise ∩ readable ∩ mature } programming language.
Ada is alive and kicking!

Long live Ada/SPARK.

Awesome
A curated list of awesome resources related to the Ada and SPARK programming language.

Contents

  1. Presentation
  2. Education
    1. Entry Point
    2. Tutorials
    3. Online Books
    4. Books
    5. Specialties
    6. Reference
  3. Community
    1. Questions and Answers
    2. News and Resources
    3. Competition
  4. Compilers
    1. Open source
    2. Commercial / Open source
    3. Commercial / Closed source
    4. Online
  5. Editors
    1. Integrated Development Editors
    2. Text Modes
    3. VSCode Extensions
  6. Deployment
    1. Build and Package
    2. Continuous Integration
  7. Runtimes
  8. OS and Kernels
  9. Games
  10. Frameworks
    1. Components
    2. Distributed
    3. Graphical User Interface
    4. 3D
    5. Web
    6. Unit Test
    7. Logging
    8. Machine Learning
  11. Tools
    1. Verification
    2. Generation
    3. UML
  12. Libraries
    1. Math
    2. Algorithms, Containers and Protocols
    3. Patterns
    4. System Modeling
    5. Parsers, Scanners, Linters, Analysers, Interpreters and Prettyprinters
    6. Format Readers and Writers
    7. Network
    8. Web
    9. Multimedia
    10. Localization
    11. Utilities
  13. Hardware and Embedded
    1. Frameworks
    2. Firmwares
    3. Drivers
    4. Controllers
    5. Communication
    6. Libraries
    7. Applications
    8. Bindings
  14. Applications
    1. Office
    2. Web
    3. Multimedia
    4. Automation
    5. Simulation
    6. Generators and Translators
    7. Shells and Interpreters
    8. Programming Languages
    9. Misc
  15. Bindings
  16. License

Presentation

Education

Entry Point

Tutorials

Online books

Books

Programming in Ada 2012 - Comprehensive.
Beginning Ada Programming: From Novice to Professional - Introduction.
Ada Plus Data Structures: An Object Oriented Approach - Data Structures.
Ada for Software Engineers - Idioms, Architecture.
Concurrent and Real-Time Programming in Ada - Concurrency, Containers, Scheduling.
Data Structures and Algorithms: An Object-Oriented Approach Using Ada 95 - Data structures, Algorithms.
Building Parallel, Embedded, and Real-Time Applications with Ada - Concurrency, Distributed.
Analysable Real-Time Systems: Programmed in Ada - Scheduling.
Building High Integrity Applications with SPARK - Formal verification.
Ada and SPARK on ARM Cortex-M - Embedded.

Specialties

Reference

Community

Questions and Answers

News and Resources

Competition

Compilers

Open source

GPL (no linking exception)
GPL (with linking exception)
Other / unknown licence

Commercial / Open source

Commercial / Closed source

Online

Edit

Integrated Development Editor

The GNAT Programming Studio

Editors

Text Modes

VSCode Extensions

Deployment

Build and Package

Continuous Integration

Runtimes

OS and Kernels

Games

Frameworks

Components

Distributed

Graphical User Interface

3D

Database

Web

Unit Test, Testing

Logging

Machine Learning

Tools

Verification

Generation

UML

Libraries

Math

Algorithms, Containers and Protocols

Patterns

System Modeling

Parsers, Scanners, Linters, Analysers, Interpreters and Prettyprinters

Format Readers and Writers

Network

Web

Multimedia

Localization

Utilities

Hardware and Embedded

Frameworks

Firmwares

Drivers

Controllers

Communication

Libraries

Applications

Bindings

Applications

Office

Mail

Web

Multimedia

Automation

Simulation

Generators and Translators

Shells, Interpreters and Emulators

Programming Languages

Misc

Bindings

License

CC0