Hybrid DDD/Clean/Hexagonal library starter for Ada 2022

Releases
, , , ,
1

Overview

Hybrid_Lib_Ada is a professional Ada 2022 starter library demonstrating a hybrid DDD/Clean/Hexagonal architecture with functional error handling.

Key Capabilities:

  • 4-layer hexagonal architecture (Domain, Application, Infrastructure, API)

  • Functional error handling via Result monad (no exceptions)

  • Three-package API pattern for flexible dependency injection

  • Generic I/O plugin pattern for platform portability

  • Embedded-safe design (no heap allocation, bounded types)

  • SPARK-compatible for formal verification (6 proofs verified)

  • Cross-platform: Linux, macOS, Windows, Embedded

Features

  • :white_check_mark: 4-layer hexagonal architecture

  • :white_check_mark: Result monad error handling (no exceptions across boundaries)

  • :white_check_mark: Static dependency injection via generics (zero runtime overhead)

  • :white_check_mark: Three-package API pattern (Operations + Desktop + facade)

  • :white_check_mark: Generic I/O plugin pattern for platform portability

  • :white_check_mark: Embedded safety restrictions (no heap allocation)

  • :white_check_mark: SPARK-compatible design (6 proofs verified)

  • :white_check_mark: Comprehensive documentation with UML diagrams

  • :white_check_mark: Test framework (99 unit + 10 integration = 109 tests)

  • :white_check_mark: Example programs (basic_greeting, error_handling)

  • :white_check_mark: Windows CI with GitHub Actions

  • :white_check_mark: 6 build profiles (standard, concurrent, embedded, baremetal, STM32)

image
image410×260 17.9 KB

Release Notes

2 Likes
2

:rocket: Version 2.0.0 has just been released on GitHub and submitted to Alire! :partying_face:

1 Like