SparkRC (Reusable Components)

Seen on comp.lang.ada:

Those using SPARK may find this useful:

GitHub - jrcarter/SparkRC: SPARK Reusable Components

1 Like