AlphaUncommon
AdaCore/spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
- Owner
- AdaCore (organization)
- Stars
- Stars: 332
- Forks
- Forks: 48
- Language
- Ada
- License
- GPL-3.0
- Created
- 2016
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by AdaCore
All 11 repos by AdaCore- AdaCore/gnatstudioStars: 534AdaAlpha
- AdaCore/ada_language_serverStars: 307AdaAlpha
- AdaCore/Ada_Drivers_LibraryStars: 287AdaAlpha
- AdaCore/gnat-llvmStars: 240AdaPrototype
- AdaCore/libadalangStars: 172AdaPrototype
- AdaCore/awsStars: 163AdaPrototype
Nearby in Ada
All Ada repos- pyjarrett/septumStars: 463AdaAlpha
- alire-project/alireStars: 417AdaAlpha
- mk270/whitakers-wordsStars: 339AdaAlpha
- AdaCore/ada_language_serverStars: 307AdaAlpha
- AdaDoom3/AdaDoom3Stars: 287AdaAlpha
- AdaCore/Ada_Drivers_LibraryStars: 287AdaAlpha