<img width=300px"  src="https://github.com/ohenley/files/blob/master/awesome-ada/awesome_ada_logo.png" alt="Awesome">



Ada is powering satellites, aircrafts, ships, power plants, surgical robots, drones, CNCs, servers, games and coffee makers.
Ada is arguably the most { performantcapableprecisereadablemature } 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

Click to expand

  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. Terminal User Interface
    5. 3D
    6. Web
    7. Unit Test
    8. Logging
    9. Machine Learning
    10. Automation
  11. Tools
    1. Verification
    2. Generation
    3. UML
    4. Encryption
  12. Libraries
    1. Math
    2. Science
    3. Algorithms, Containers and Protocols
    4. Cryptograrphy
    5. Compression
    6. Patterns
    7. System Modeling
    8. Parsers, Scanners, Linters, Analysers, Interpreters and Prettyprinters
    9. Format Readers and Writers
    10. Networking and Communication Middleware
    11. Chatting and Communication
    12. Web
    13. Graphics and Multimedia
    14. General Purpose Computing
    15. Sound
    16. Localization
    17. Utilities
    18. Robotics
    19. Linux and POSIX
    20. Windows and .NET
  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 95: The Craft of Object-Oriented Programming - General, intermediate.
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

<a href="https://www.makewithada.org/">
    <img width="800px" src="https://hackster.imgix.net/uploads/attachments/1164282/_UAa0j7WX8u.blob?auto=compress%2Cformat&w=800&h=200&fit=min">
</a>
<a href="https://blog.adacore.com/announcing-the-first-ada-spark-crate-of-the-year-award">
    <img width="800px" src="https://raw.githubusercontent.com/AdaCore/Ada-SPARK-Crate-Of-The-Year/master/banner.jpg">
</a>

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 - ada-visual - Ada language integration for Visual Studio 2017.

Editors

Text Modes

VSCode Extensions

Deployment

Build and Package

Continuous Integration

Runtimes

OS and Kernels

Games

Frameworks

Components

Distributed

Graphical User Interface

Terminal User Interface

3D

Database

Web

Unit Test, Testing

Logging

Machine Learning

Automation

Tools

Verification

Generation

UML

Encryption

Libraries

Math

Science

Algorithms, Containers and Protocols

Cryptography

Compression

Patterns

System Modeling

Parsers, Scanners, Linters, Analysers, Interpreters and Prettyprinters

Format Readers and Writers

Networking and Communication Middleware

Chatting and Communication

Web

Graphics and Multimedia

General Purpose Computing

Sound

Localization

Utilities

Robotics

Linux and POSIX

Windows and .NET

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