spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
244 stars
47 watching
34 forks
Language: Ada
last commit: 12 days ago
Linked from 1 awesome list
ohenley/awesome-ada