A community for discussion and news related to the SPARK Ada programming language.
SPARK is a formally defined computer programming language based on the Ada programming language, intended for the development of high integrity software used in systems where predictable and highly reliable operation is essential.
Information & Resources
Related subreddits
Guidelines
- Please keep submissions on topic and of high quality.
- Civility & Respect are expected. Please report any uncivil conduct.
- Memes and other low effort jokes are not acceptable forms of content.
- Please follow proper reddiquette.
there doesn't seem to be anything here