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. Local
    2. Online
  5. Edit
    1. Integrated Development Editors
    2. Editors
    3. Text Modes
  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
  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
  15. Bindings
  16. License

Presentation

Education

Entry Point

Tutorials

Online books

Books

Programming in Ada 2012 - Comprehensive.
Introduction to Ada Programming, 2nd Edition - 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

Local

Online

Edit

Integrated Development Editor

The GNAT Programming Studio

Editors

Text Modes

Deployment

Build and Package

Continuous Integration

Runtimes

OS and Kernels

Games

Frameworks

Components

Distributed

Graphical User Interface

3D

Database

Web

Unit Test

Logging

Machine Learning

Tools

Verification

Generation

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 and Interpreters

Programming Languages

Bindings

License

CC0