AlphaPeu commune
AdaCore/spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
- Propriétaire
- AdaCore (organisation)
- Étoiles
- Étoiles : 332
- Forks
- Forks : 48
- Langage
- Ada
- Licence
- GPL-3.0
- Création
- 2016
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
Autres dépôts de AdaCore
Les 11 dépôts de AdaCore- AdaCore/gnatstudioÉtoiles : 534AdaAlpha
- AdaCore/ada_language_serverÉtoiles : 307AdaAlpha
- AdaCore/Ada_Drivers_LibraryÉtoiles : 287AdaAlpha
- AdaCore/gnat-llvmÉtoiles : 240AdaPrototype
- AdaCore/libadalangÉtoiles : 172AdaPrototype
- AdaCore/awsÉtoiles : 163AdaPrototype
D’autres dépôts Ada
Tous les dépôts Ada- pyjarrett/septumÉtoiles : 463AdaAlpha
- alire-project/alireÉtoiles : 415AdaAlpha
- mk270/whitakers-wordsÉtoiles : 339AdaAlpha
- AdaCore/ada_language_serverÉtoiles : 307AdaAlpha
- AdaDoom3/AdaDoom3Étoiles : 287AdaAlpha
- AdaCore/Ada_Drivers_LibraryÉtoiles : 287AdaAlpha