17:37 Developing device drivers for Ironclad using Ada. FOSDEM 2025 Ada Maximized 113 views - 4 months ago
15:58 Cryptography in SPARK: building the foundation with constant-time bigints. FOSDEM 2025 Ada Maximized 75 views - 5 months ago
19:17 The state of Rust trying to catch up with Ada. FOSDEM 2025 Ada Maximized 360 views - 5 months ago
28:04 Understanding liquid types, contracts and formal verification with Ada/SPARK. FOSDEM 2025 Ada Maximized 221 views - 5 months ago
19:37 Ada and Mini-Ada: a solution to the two-language problem. FOSDEM 2025 Ada Maximized 152 views - 5 months ago
17:52 Advent of Compression: writing a working BZip2 encoder in Ada from scratch in a few days. Ada Maximized 50 views - 5 months ago
47:04 Using Natural Language for Test Specification, is That Really Wise? Ada Maximized 86 views - 6 months ago
42:40 UXStrings: a Unicode and Dynamic Length String Library for Ada Ada Maximized 62 views - 6 months ago
31:37 Writing a Competitive BZip2 Encoder in Ada from Scratch in a Few Days Ada Maximized 137 views - 6 months ago
55:43 Webinar | Introduction to Formal Verification with SPARK Ada Maximized 113 views - 11 months ago
50:21 SweetAda: a Multi-architecture Embedded Development Framework Ada Maximized 209 views - 2 years ago