Blog

Juliana Silva

Make with Ada 2020: CHIP-8 Interpreter

Laurent Zhu's and Damien Grisonnet's project was accomplished for the EPITA Ada courses and won a finalist prize in the Make with Ada 2019/20…

Fabien Chouteau

Ada for micro:bit Part 6: Analog Input

Fabien Chouteau

Ada for micro:bit Part 5: Analog Output

Fabien Chouteau

Ada for micro:bit Part 4: Pin Input

Fabien Chouteau, Emma Adby

AdaCore Code of Conduct

Fabien Chouteau

Ada for micro:bit Part 3: Pin Output

Welcome to the Ada for micro:bit series where we look at simple examples to learn how to program the BBC micro:bit with Ada.

Michael Frank

Code Obfuscator for Ada using Libadalang and SPARK

A code obfuscator is a method of sharing coding discussions of real-world examples without giving away proprietary or classified information. This…

Fabien Chouteau

Ada for micro:bit Part 2: Push buttons

Fabien Chouteau

Ada for micro:bit Part 1: Getting Started

Pierre-Marie de Rodat

GNATcoverage: getting started with instrumentation

Pierre-Marie de Rodat

Introducing source code instrumentation in GNATcoverage

This is the first post of a series about GNATcoverage and source code instrumentation.In order to make GNATcoverage viable in more contexts, we…

Jessie Glockner, Ben Brosgol

The FACE™ open systems strategy gaining traction in the avionics industry

The FACE™ approach is a government-industry initiative for reducing defense system life cycle costs through portable and reusable software…