GitHub - tofgarion/spark-by-example: SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada - discu.eu

Hacker News

SPARK by Example https://github.com/tofgarion/spark-by-example 8 comments 15/11/2018

Reddit

SPARK by Example, message from Christophe Garion on the SPARK mailing list https://github.com/tofgarion/spark-by-example 2 comments 27/10/2018 ada

Linking pages

GitHub - ohenley/awesome-ada: A curated list of awesome resources related to the Ada and SPARK programming language https://github.com/ohenley/awesome-ada 28 comments

Linked pages

LEARN.ADACORE.COM — learn.adacore.com https://learn.adacore.com/ 87 comments
memcached - a distributed memory object caching system http://memcached.org/ 0 comments
About SPARK | AdaCore https://www.adacore.com/about-spark 0 comments

Related searches:

Search whole site: site:github.com

Search title: GitHub - tofgarion/spark-by-example: SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada

See how to search.

Submit link to: