I'm working on modernizing Rosetta Code's infrastructure. Starting with communications. Please accept this time-limited open invite to RC's Slack.. --Michael Mol (talk) 20:59, 30 May 2020 (UTC)

SPARK GPL

From Rosetta Code
SPARK GPL is an implementation of SPARK. Other implementations of SPARK.

SPARK GPL is the version of the SPARK toolset licensed under the GNU Public License (GPL).

It is distributed by AdaCore.