What’s New in GNAT Pro: Key Features and Roadmap
1:01:48
What’s New in GNAT Pro: Key Features and Roadmap
744 viewsMar 17, 2025
YouTubeAdaCore
Ada 001 - Lesson 1 - Your First Ada Program
10:58
Ada 001 - Lesson 1 - Your First Ada Program
90.5K viewsSep 17, 2018
YouTubeAdaCore
Ada for the Embedded C Developer
15:10
Ada for the Embedded C Developer
5.5K viewsMar 24, 2021
YouTubeAdaCore
Static analysis, compiler and code coverage driven by an LLM
9:23
Static analysis, compiler and code coverage driven by an LLM
2 views2 months ago
YouTubeAdaCore
Adaptive Static Analysis: ShiftLeft Across All Modalities
58:16
Adaptive Static Analysis: ShiftLeft Across All Modalities
106 views2 months ago
YouTubeAdaCore
Ada source level debugging with Lauterbach Trace32
9:32
Ada source level debugging with Lauterbach Trace32
497 views5 months ago
YouTubeAdaCore
Ada 002 - Lesson 3 - Arrays
36:39
Ada 002 - Lesson 3 - Arrays
10.4K viewsSep 17, 2018
YouTubeAdaCore
32:34
Ada 002 - Lesson 1 - Basic Types
19.5K viewsSep 17, 2018
YouTubeAdaCore
15:08
AdaCore’s Answer to Safety-Critical Code
873 views11 months ago
YouTubeipXchange
16:01
AdaCore Is Bringing Ada Back - Why NVIDIA Chose It
3.6K views1 year ago
YouTubeipXchange
30:11
Ada 002 - Lesson 5 - Subprograms
8.5K viewsSep 17, 2018
YouTubeAdaCore
8:06
Rust for Safety-Critical Systems – AdaCore's Approach at Embedded World 2025
6.3K viewsMar 21, 2025
YouTubeElektor TV Industry & eeNews Europe
13:05
Ada 001 - Lesson 2 - A Bouncing Ball
19.1K viewsSep 17, 2018
YouTubeAdaCore
20:12
Ada 002 - Lesson 2 - Statements
8.7K viewsSep 17, 2018
YouTubeAdaCore
30:25
Escaping the Haystack: CI/CD for Embedded Systems
135 views4 months ago
YouTubeAdaCore
22:54
Ada 003 - Lesson 5 - Genericity
3.1K viewsSep 18, 2018
YouTubeAdaCore
7:29
Building Mission-Critical Software with Formal Verification and Memory Safety
2.1K views5 months ago
YouTubeipXchange
59:25
Ada, Rust & the Future of Safe Code, with Quentin Ochem, EEI #54
6.2K viewsJul 30, 2025
YouTubeElektor TV
See more
Static thumbnail place holder