AdaCore and Ferrous Systems Joining Forces to Support Rust

Ada/SPARK Crate of the Year 2021 Winners

Proving properties of constant-time crypto code in SPARKNaCl (Ada) (2020)

Ada on any ARM Cortex-M device, in just a couple minutes

An Embedded USB Device Stack in Ada

How Masten Space Systems Is Using Ada and Spark to Land on the Moon's South Pole

When the RISC-V ISA is the Weakest Link

Going Beyond Ada 2022

SPARKNaCl with GNAT and SPARK Community 2021: Port, Proof and Performance

Gnat 2021 GPL Community Edition Ada 202x compiler released

An Introduction to Jorvik, the New Tasking Profile in Ada 2022

From Rust to Spark: Formally Proven Bip-Buffers

On the Benefits of Families ... (Entry Families)

Ada for the C++ and Java Developer

Performance analysis and tuning of SPARKNaCl

Finding Vulnerabilities using Advanced Fuzz testing and AFLplusplus v3.0

First beta release of Alire, the package manager for Ada/SPARK

Ada 202x support in GNAT

Introduction to Ada Programming

Relaxing the Data Initialization Policy of SPARK

AdaCore’s 5th Annual "Make with Ada" Programming Competition Launching July 31st

CuBit: A General-Purpose Operating System in SPARK/Ada

From Ada to Platinum SPARK: A Case Study for Reusable Bounded Stacks

Proving properties of constant-time crypto code in SPARKNaCl

Making An RC Car with Ada and SPARK

Android application with Ada and WebAssembly

Using GNAT-LLVM to target Ada to WebAssembly

Combining GNAT with LLVM

Proof of code with pointers now possible in SPARK using pledges

AdaCore Technologies for Cyber Security

More →