File-Extensions.org | AdaCore details
Found 2 related programs.
AdaCore website:
AdaCore [external link]
GNAT Programming Studio (GPS) 1 associated file extension An integrated development environment for various platforms | ||
SPARK GPL EDITION 1 associated file extension Programming toolset for high-assurance software |