← All repos

AdaCore/spark2014

View on GitHub ↗ ★ 332 Ada

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

14 mentions on Hacker News by 11 people: 0 stories, 14 comments · first 2017-08-24 · latest 2025-11-01