←
Back to Open Source
🐙 GitHub Detail
S
AdaCore/spark2014
By AdaCore
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
GitHub
Ada
GNU General Public License v3.0
Updated 05 Jun 2026
Live Snapshot
⭐
Stars
311
🍴
Forks
44
📄
License
GNU General Public License v3.0
🧩
Type
Ada
📘
About this open-source project
Live information fetched from GitHub.
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
🌿
Default Branch
master
🐞
Open Issues
4
👀
Watchers
311