AdaCore / spark2014

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

Date Created 2016-08-29 (8 years ago)

Commits 27,221 (last one 16 days ago)

Stargazers 253 (0 this week)

Watchers 47 (0 this week)

Forks 34

License gpl-3.0

Ranking

RepositoryStats indexes 600,333 repositories, of these AdaCore/spark2014 is ranked #153,508 (74th percentile) for total stargazers, and #44,915 for total watchers. Github reports the primary language for this repository as Ada, for repositories using this language it is ranked #8/48.

Other Information

AdaCore/spark2014 has Github issues enabled, there are 3 open issues and 35 closed issues.

Star History

Github stargazers over time

Watcher History

Github watchers over time, collection started in '23

Recent Commit History

4,233 commits on the default branch (master) since jan '22

Yearly Commits

Commits to the default branch (master) per year

Issue History

Languages

The primary language is Ada but there's also others...

updated: 2024-12-28 @ 11:21am, id: 66867667 / R_kgDOA_xR0w