Hacker GitHub

← All repos

tofgarion/spark-by-example

View on GitHub ↗ ★ 168 Ada

SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada

5 mentions on Hacker News by 5 people: 4 stories, 1 comment · first 2018-11-15 · latest 2022-11-19

Mentions per year 5 mentions · busiest year 2020 (2)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 1
    Spark by Example is an adaptation of ACSL by Example for SPARK 2014, a programm
    story by todsacerdoti · 2022-11-19 · 0 comments
  2. ▲ 4
    SPARK Ada by Example
    story by nequo · 2022-11-07 · 0 comments
  3. ▲ 2
    Spark by Example
    story by Jtsummers · 2020-11-12 · 0 comments
  4. ▲ 65
    SPARK by Example
    story by pjmlp · 2018-11-15 · 8 comments