Blog
An Insight Into the AdaCore Ecosystem
Reasoning about Linked Structures in an Array
Rob Tice
AdaFractal Part 2: Fixed Point and Floating Point Math Performance and Parallelization
Rob Tice
AdaFractal Part1: Ada with a Portable GUI
The is the first part of a multiple part post that covers the development of the AdaFractal project. The idea was to create fractals in Ada. Here we…
Quentin Ochem
NVIDIA is joining the Ada and SPARK adopter wave
Quentin Ochem
Proving Memory Operations - A SPARK Journey
Yannick Moy
Amazon Relies on Formal Methods for the Security of AWS
Byron Cook, who founded and leads the Automated Reasoning Group at Amazon Web Services (AWS) Security, gave a powerful talk at the Federated Logic…
Emma Adby
It's time to Make with Ada!
Pamela Trevino
Public Ada Training Paris, France Dec 3 - 7, 2018
Julia Teissl
Train control using Ada on a Raspberry Pi
Fabien Chouteau
Ada on FPGAs with PicoRV32
When I bought the TinyFPGA-BX board, I thought it would be an opportunity to play a little bit with FPGA, learn some Verilog or VHDL. But when I…
Pamela Trevino
AdaCore major sponsor at HIS 2018
Fabien Chouteau, Emma Adby, Yannick Moy
Learn.adacore.com is here
We are very proud to announce the availability of our new Ada and SPARK learning platform learn.adacore.com, which will replace AdaCoreU(niversity)…
Emma Adby, Fabien Chouteau