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. …SPARK examples for the curious: * http://docs.adacore.com/spark2014-docs/html/ug/en/source/bas... * https://github.com/tofgarion/spark-by-example
    comment by MaxBarraclough · 2020-07-30 · in Dafny: Verification-Aware Programming Language
  5. ▲ 65
    SPARK by Example
    story by pjmlp · 2018-11-15 · 8 comments