the spark ada community
Published 5 years ago • 444 plays • Length 18:46Download video MP4
Download video MP3
Similar videos
-
21:36
ada and spark education and community resources
-
5:30
spark and tokeneer demo
-
39:19
spark/ada in formal software system modeling and design (adacore gap workshop june 21, 2022)
-
17:27
update on the ada community and alire package manager (adacore gap workshop june 21, 2022)
-
25:16
spark/ada for high integrity spacecraft software (adacore gap workshop june 21, 2023)
-
13:59
update on the ada community and alire package manager (adacore gap workshop june 21, 2023)
-
50:11
adacore at fosdem 2018 - spark language: historical perspective and foss development
-
1:02:49
ada 2012 features
-
44:59
ada, past present and future
-
![ada - first impression [programming languages episode 16]](https://i.ytimg.com/vi/vOq6qzQyTd8/mqdefault.jpg)
1:01:13
ada - first impression [programming languages episode 16]
-
23:56
spark and ada do autonomy — adacore r&d project with the afrl
-
19:22
technical update on ada, spark, libadalang, and vs code (adacore gap workshop june 21, 2022)
-
32:08
introducing students to formal methods through spark (adacore gap workshop june 21, 2022)
-
1:19
support for concurrency — spark demo part 4
-
2:47
what is the relationship between spark and ada?
-
2:07
introducing adacore university