Examples of common software engineering constructs written in Ada and SPARK
This repository was archived by the owner on Mar 19, 2026. It is now read-only.
AdaCore/language-examples
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|