| id | 132722473 |
|---|
| name | spark-by-example |
|---|
| full_name | tofgarion/spark-by-example |
|---|
| html_url | https://github.com/tofgarion/spark-by-example |
|---|
| description | SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada |
|---|
| created_at | May 9, 2018, 7:59 a.m. |
|---|
| updated_at | Feb. 5, 2024, 9:30 p.m. |
|---|
| pushed_at | Aug. 16, 2022, 2:45 p.m. |
|---|
| size | 1,079 |
|---|
| stargazers_count | 150 |
|---|
| watchers_count | 14 |
|---|
| forks_count | 16 |
|---|
| open_issues | 2 |
|---|
| language | Ada |
|---|
| awesome_list |
https://github.com/ohenley/awesome-ada
|
|---|