# AdaCore/spark2014

<https://repo.masters-masters.com/repos/AdaCore/spark2014>

[Accueil](https://repo.masters-masters.com/) › [AdaCore](https://repo.masters-masters.com/owners/AdaCore) › [spark2014](https://repo.masters-masters.com/repos/AdaCore/spark2014)

AdaCore/spark2014, dépôt open source à 332 étoiles sur GitHub. Carte Alpha de RepoMasters. SPARK 2014 is the new version of SPARK, a software development…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [AdaCore](https://repo.masters-masters.com/owners/AdaCore) |
| Étoiles | 332 |
| Forks | 48 |
| Langage | [Ada](https://repo.masters-masters.com/languages/ada) |
| Licence | GPL-3.0 |
| Création | 2016 |
| Rang | [Alpha (250 à 699 ★)](https://repo.masters-masters.com/ranks/b_movie) |
| Voir sur GitHub | [AdaCore/spark2014](https://github.com/AdaCore/spark2014) |

## Fiche du dépôt

SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.

Rang des dépôts qui ont 250 à 699 ★ sur GitHub. Probabilité publiée par carte tirée : 20 %. Rareté : Peu commune.

## Autres dépôts de AdaCore

- [AdaCore/gnatstudio · ★ 534 · Ada · Alpha](https://repo.masters-masters.com/repos/AdaCore/gnatstudio)
- [AdaCore/ada\_language\_server · ★ 307 · Ada · Alpha](https://repo.masters-masters.com/repos/AdaCore/ada_language_server)
- [AdaCore/Ada\_Drivers\_Library · ★ 287 · Ada · Alpha](https://repo.masters-masters.com/repos/AdaCore/Ada_Drivers_Library)
- [AdaCore/gnat-llvm · ★ 240 · Ada · Prototype](https://repo.masters-masters.com/repos/AdaCore/gnat-llvm)
- [AdaCore/libadalang · ★ 172 · Ada · Prototype](https://repo.masters-masters.com/repos/AdaCore/libadalang)
- [AdaCore/aws · ★ 163 · Ada · Prototype](https://repo.masters-masters.com/repos/AdaCore/aws)

## D’autres dépôts Ada

- [pyjarrett/septum · ★ 463 · Ada · Alpha](https://repo.masters-masters.com/repos/pyjarrett/septum)
- [alire-project/alire · ★ 417 · Ada · Alpha](https://repo.masters-masters.com/repos/alire-project/alire)
- [mk270/whitakers-words · ★ 339 · Ada · Alpha](https://repo.masters-masters.com/repos/mk270/whitakers-words)
- [AdaCore/ada\_language\_server · ★ 307 · Ada · Alpha](https://repo.masters-masters.com/repos/AdaCore/ada_language_server)
- [AdaDoom3/AdaDoom3 · ★ 287 · Ada · Alpha](https://repo.masters-masters.com/repos/AdaDoom3/AdaDoom3)
- [AdaCore/Ada\_Drivers\_Library · ★ 287 · Ada · Alpha](https://repo.masters-masters.com/repos/AdaCore/Ada_Drivers_Library)

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.