Awesome Ada/SPARK

Website: https://github.com/ohenley/awesome-ada#readme
Category: Themed directories
Tags: ada, functional-programming, education

Overview

Awesome Ada/SPARK is a curated, Awesome-style directory of resources related to the Ada and SPARK programming languages, with a strong focus on reliable, efficient, and high‑integrity software development.

Features

• Curated resource list

  • Collects links and references specifically for Ada and SPARK.
  • Focus on reliability, performance, precision, and readability in software.

• Educational resources

  • Sections for:
    • Entry‑level learning paths ("Entry Point").
    • Tutorials for learning Ada/SPARK concepts and tooling.
    • Online books.
    • Printed books, including:
      • Programming in Ada 2022 (Cambridge University Press), described as comprehensive.

• Thematic organization

  • Resources grouped by type (tutorials, books, etc.).
  • Oriented toward both Ada and SPARK usage.

• Community-driven repository

  • Hosted on GitHub as an open list (ohenley/awesome-ada).
  • Includes contribution guidelines (CONTRIBUTING.md) so users can propose additions or updates.

• Standard Awesome-list conventions

  • Uses the Awesome badge and formatting to align with the broader Awesome ecosystem.
  • Includes a clear license (LICENSE file).

Pricing

• Not applicable. This is an open, GitHub-hosted curated list of resources and is freely accessible.