ada-at-rosetta-code - A collection of programming tasks and their sample solutions in Ada.ada-ic-learning - For additional learning resources, see the AdaIC learning section.ada-composition - A collections of small nifty demos/sample code that may help better layout data or structure project.Programming in Ada 2012 with a Preview of Ada 2022 (2nd ed.) - Comprehensive.īeginning Ada Programming: From Novice to Professional - Introduction.Īda 95: The Craft of Object-Oriented Programming - General, intermediate.Īda Plus Data Structures: An Object Oriented Approach - Data Structures.Īda for Software Engineers - Idioms, Architecture.Ĭoncurrent and Real-Time Programming in Ada - Concurrency, Containers, Scheduling.ĭata Structures and Algorithms: An Object-Oriented Approach Using Ada 95 - Data structures, Algorithms.īuilding Parallel, Embedded, and Real-Time Applications with Ada - Concurrency, Distributed.Īnalysable Real-Time Systems: Programmed in Ada - Scheduling.īuilding High Integrity Applications with SPARK - Formal verification.Īda and SPARK on ARM Cortex-M - Embedded. ada-95-tutorial - A book going from beginner to advanced concepts in Ada 95, complete with source files.ada-safe-secure - Safe and Secure Software.spark-guidance - Implementation Guidance for the Adoption of SPARK.ada-cpp-java - Ada for the C++ or Java Developer.ada-craft - Ada 95: The Craft of Object-Oriented Programming.ada-distilled - Ada Distilled for Ada 2005.ada-wikibook - Ada Programming book at Wikibooks.spark-by-example - Collection of verified functions and data types in SPARK.simple-games - Learning Ada 2012 by writing simple games.ada-crash-course - Ada 2012 crash course under 50 pages from Vermont Technical College.

adacore-video-tutorials - AdaCore University Video Tutorials.

ada-logo-editor - The “Ada horizon” logo maker website.

celebrating-ada - Ada history key moments.

ada-lang-io - A community site for Ada.

learn - Interactive learning platform designed to teach the Ada and SPARK programming languages.

Networking and Communication Middleware.

Parsers, Scanners, Linters, Analysers, Interpreters and Prettyprinters.

Ada is powering satellites, aircrafts, ships, power plants, surgical robots, drones, CNCs, servers, games and coffee makers.Īda is arguably the most programming language.Ī curated list of awesome resources related to the Ada and SPARK programming language.

Spark 1.0 chess engine