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 (7 years ago)

Commits 26,778 (last one a day ago)

Stargazers 242 (0 this week)

Watchers 47 (0 this week)

Forks 33

License gpl-3.0

Ranking

RepositoryStats indexes 534,880 repositories, of these AdaCore/spark2014 is ranked #147,076 (73rd percentile) for total stargazers, and #44,012 for total watchers. Github reports the primary language for this repository as Ada, for repositories using this language it is ranked #8/44.

Other Information

AdaCore/spark2014 has Github issues enabled, there is 1 open issue and 34 closed issues.

Star History

Github stargazers over time

Watcher History

Github watchers over time, collection started in '23

Recent Commit History

3,790 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-07-01 @ 01:07pm, id: 66867667 / R_kgDOA_xR0w