Blog
An Insight Into the AdaCore Ecosystem
Apr 16, 2026
Claire Dross
Formally Verified Hashed Sets in Ada SPARK
This blog explores the formal verification of an implementation of bounded hashed sets in Ada SPARK.
Read More
Apr 07, 2020
Martyn Pike
A Trivial File Transfer Protocol Server written in Ada
For an upcoming project, I needed a simple way of transferring binary files over an Ethernet connection with minimal (if any at all) user…
Apr 02, 2020
Roderick Chapman
Proving properties of constant-time crypto code in SPARKNaCl
Over the last few months, I developed a SPARK version of the TweetNaCl cryptographic library. This was made public on GitHub in February 2020, under…
Mar 17, 2020
Ghjuvan Lacambre
Time travel debugging in GNAT Studio with GDB and RR
Learn how to use GDB and RR's advanced time traveling features in GNAT Studio.
Mar 12, 2020
Maxim Reznik
Android application with Ada and WebAssembly
Mar 10, 2020
Pat Rogers
Making an RC Car with Ada and SPARK
Feb 06, 2020
Pierre-Marie de Rodat
A Further Expedition into Libadalang: Save Time with Libadalang.Helpers.App
Feb 04, 2020
Vadim Godunko
Using GNAT-LLVM to target Ada to WebAssembly
Jan 30, 2020
Fabien Chouteau
AdaCore at FOSDEM 2020
Jan 23, 2020
Fabien Chouteau
Ada on a Feather
I was quite happy to see AdaFruit release their first Feather format board including a micro-controller with plenty of Ada support, the STM32F4. I…
Jan 21, 2020
Quentin Ochem
Witnessing the Emergence of a New Ada Era
Dec 11, 2019
Paul Butcher
AdaCore for HICLASS - Enabling the Development of Complex and Secure Aerospace Systems
Nov 07, 2019
Martyn Pike