SparkRC (Reusable Components)

[JC001]

Seen on comp.lang.ada:

Those using SPARK may find this useful:

GitHub - jrcarter/SparkRC: SPARK Reusable Components