AdaCore/spark2014

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

Stars: 328
Forks: 47
Open beginner issues: 0
Indexed issues: 9

Dominant language: Ada
License: GPL-3.0
Last GitHub push: Sep 17, 2026
Latest indexed: Sep 20, 2026
Contributing guide: Contributing guide
Code of conduct: Code of conduct
Beginner labels: No beginner labels indexed
PR merge metrics: No merged PRs in 30d

Beginner friendly Everything

Open All

0 beginner-friendly issues open

No issues to show. Show everything we have indexed

A short digest of beginner-friendly GitHub issues.