From: PragmAda Software Engineering <pragmada@pragmada.x10hosting.com>
Subject: [Ann] SparkRC
Date: Tue, 1 Aug 2023 10:58:34 +0200 [thread overview]
Message-ID: <uaahfq$3k9d6$1@dont-email.me> (raw)
Those using SPARK may find this useful:
https://github.com/jrcarter/SparkRC
--
Jeffrey R. Carter, President
PragmAda Software Engineering
pragmada.x10hosting.com
github.com/jrcarter
reply other threads:[~2023-08-01 8:58 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox