# tofgarion/spark-by-example

<https://repo.masters-masters.com/repos/tofgarion/spark-by-example>

[Accueil](https://repo.masters-masters.com/) › [tofgarion](https://repo.masters-masters.com/owners/tofgarion) › [spark-by-example](https://repo.masters-masters.com/repos/tofgarion/spark-by-example)

tofgarion/spark-by-example, dépôt open source à 168 étoiles sur GitHub. Carte Prototype de RepoMasters. SPARK by Example is an adaptation of ACSL by Example…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [tofgarion](https://repo.masters-masters.com/owners/tofgarion) |
| Étoiles | 168 |
| Forks | 19 |
| Langage | [Ada](https://repo.masters-masters.com/languages/ada) |
| Licence | Aucune |
| Création | 2018 |
| Sujets | formal-verification, formal-methods, formal-specification, ada |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [tofgarion/spark-by-example](https://github.com/tofgarion/spark-by-example) |

## Fiche du dépôt

SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## D’autres dépôts Ada

- [pesa1234/MT6000\_cust\_build · ★ 204 · Ada · Prototype](https://repo.masters-masters.com/repos/pesa1234/MT6000_cust_build)
- [zertovitch/hac · ★ 177 · Ada · Prototype](https://repo.masters-masters.com/repos/zertovitch/hac)
- [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)
- [rod-chapman/SPARKNaCl · ★ 139 · Ada · Prototype](https://repo.masters-masters.com/repos/rod-chapman/SPARKNaCl)
- [ada-game-framework/sdlada · ★ 135 · Ada · Prototype](https://repo.masters-masters.com/repos/ada-game-framework/sdlada)

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