Ada

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

Contents

Click to expand 1. [Presentation](#presentation) 2. [Education](#education) 1. [Entry Point](#entry-point) 2. [Tutorials](#tutorials) 3. [Online Books](#online-books) 4. [Books](#books) 5. [Specialties](#specialties) 6. [Reference](#reference) 3. [Community](#community) 1. [Questions and Answers](#questions-and-answers) 2. [News and Resources](#news-and-resources) 3. [Competition](#competition) 4. [Compilers](#compilers) 1. [Open source](#open-source) 2. [Commercial / Open source](#commercial--open-source) 3. [Commercial / Closed source](#commercial--closed-source) 4. [Online](#online) 5. [Edit](#edit) 1. [Integrated Development Editors](#integrated-development-editors) 2. [Editors](#editors) 3. [Text Modes](#text-modes) 4. [VSCode Extensions](#vscode-extensions) 6. [Deployment](#deployment) 1. [Build and Package](#build-and-package) 2. [Continuous Integration](#continuous-integration) 7. [Runtimes](#runtimes) 8. [OS and Kernels](#os-and-kernels) 9. [Games](#games) 10. [Frameworks](#frameworks) 1. [Components](#components) 2. [Distributed](#distributed) 3. [Graphical User Interface](#graphical-user-interface) 4. [Terminal User Interface](#terminal-user-interface) 5. [3D](#3d) 6. [Database](#database) 7. [Web](#web) 8. [Unit Test, Testing](#unit-test-testing) 9. [Logging](#logging) 10. [Machine Learning](#machine-learning) 11. [Automation](#automation) 11. [Tools](#tools) 1. [DevOps](#devops) 2. [Verification](#verification) 3. [Generation](#generation) 4. [UML](#uml) 5. [Encryption](#encryption) 12. [Libraries](#libraries) 1. [Math](#math) 2. [Science](#science) 3. [Algorithms, Containers and Protocols](#algorithms-containers-and-protocols) 4. [Cryptography](#cryptography) 5. [Compression](#compression) 6. [Patterns](#patterns) 7. [System Modeling](#system-modeling) 8. [Parsers, Scanners, Linters, Analysers, Interpreters and Prettyprinters](#parsers-scanners-linters-analysers-interpreters-and-prettyprinters) 9. [Format Readers, Writers and Checkers](#format-readers-writers-and-checkers) 10. [Networking and Communication Middleware](#networking-and-communication-middleware) 11. [Chatting and Communication](#chatting-and-communication) 12. [Web](#web-1) 13. [Graphics and Multimedia](#graphics-and-multimedia) 14. [General Purpose Computing](#general-purpose-computing) 15. [Sound](#sound) 16. [Localization](#localization) 17. [Utilities](#utilities) 18. [Robotics](#robotics) 19. [Linux and POSIX](#linux-and-posix) 20. [Windows and .NET](#windows-and-net) 21. [Bindings to Other Languages](#bindings-to-other-languages) 13. [Hardware and Embedded](#hardware-and-embedded) 1. [Frameworks](#frameworks-1) 2. [Firmwares](#firmwares) 3. [Drivers](#drivers) 4. [Controllers](#controllers) 5. [Communication](#communication) 6. [Libraries](#libraries-1) 7. [Applications](#applications) 8. [Generators](#generators) 14. [Applications](#applications-1) 1. [Office](#office) 2. [Mail](#mail) 3. [Web](#web-2) 4. [Multimedia](#multimedia) 5. [Automation](#automation-1) 6. [Simulation](#simulation) 7. [Generators and Translators](#generators-and-translators) 8. [Shells, Interpreters and Emulators](#shells-interpreters-and-emulators) 9. [Programming Languages](#programming-languages) 10. [Misc](#misc)

Presentation

Education

Entry Point

Tutorials

Online Books