17:37 Developing device drivers for Ironclad using Ada. FOSDEM 2025 Ada Maximized 78 views - 1 month ago
15:58 Cryptography in SPARK: building the foundation with constant-time bigints. FOSDEM 2025 Ada Maximized 61 views - 1 month ago
19:17 The state of Rust trying to catch up with Ada. FOSDEM 2025 Ada Maximized 277 views - 1 month ago
28:04 Understanding liquid types, contracts and formal verification with Ada/SPARK. FOSDEM 2025 Ada Maximized 146 views - 1 month ago
19:37 Ada and Mini-Ada: a solution to the two-language problem. FOSDEM 2025 Ada Maximized 117 views - 1 month ago
17:52 Advent of Compression: writing a working BZip2 encoder in Ada from scratch in a few days. Ada Maximized 41 views - 1 month ago
47:04 Using Natural Language for Test Specification, is That Really Wise? Ada Maximized 81 views - 4 months ago
42:40 UXStrings: a Unicode and Dynamic Length String Library for Ada Ada Maximized 59 views - 4 months ago
31:37 Writing a Competitive BZip2 Encoder in Ada from Scratch in a Few Days Ada Maximized 135 views - 4 months ago
55:43 Webinar | Introduction to Formal Verification with SPARK Ada Maximized 111 views - 8 months ago
50:21 SweetAda: a Multi-architecture Embedded Development Framework Ada Maximized 197 views - 1 year ago