Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
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
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tofgarion%2Fspark-by-example
Stars: 150
Forks: 16
Open Issues: 2
License: None
Language: Ada
Repo Size: 1.03 MB
Dependencies:
0
Created: about 6 years ago
Updated: 4 months ago
Last pushed: almost 2 years ago
Last synced: about 1 month ago
Topics: ada, formal-methods, formal-specification, formal-verification
Files
No dependencies found