-
Benchmarking Crimes Meet Formal Verification
-
Is this the simplest (and most surprising) sorting algorithm ever? (2021)
-
A new math library for Ada: Neo.SIMD
-
NASA has a list of 10 rules for software development
-
Nvidia Security Team: "What if we just stopped using C?" (2022)
-
SPARKNaCl: A verified, fast re-implementation of TweetNaCl [pdf] [video]
-
My dream way of testing
-
Ada's Dependent Types, and Its Types as a Whole
-
Show HN: A 5th order motion planner with PH spline blending, written in Ada
-
Ada Programing language binding to WebUI library
-
A Comparison of Ada and Rust, Using Solutions to the Advent of Code
-
Show HN: Getada: rustup-like installer for Ada's toolchain/package manager
-
Eepers – turn based game in ADA (Tsoding)
-
"No way to prevent this" say users of only language where this regularly happens
-
Alire 2.0 Released
-
Ada 95: The Craft of Object-Oriented Programming
-
Using GNATTest with Alire and GNATStudio
-
Adamant is out
-
Adamant – An Embedded Software Framework
-
November 2023 What Are You Working On?
-
ASFML v2.5.5 (Ada binding to SFML) has been released with an upgrade to CSFML 2.5.2 and improved API documentation
-
Writing Linux Modules in Ada – Part 1
-
Show HN: Cashe: A money library written in Ada
-
Ada Outperforms Assembly: A Case Study
-
New release of vscode extension For Ada 23.0.20
-
Issues while connecting NeoPixel (WS2812B) LED strips with Raspberry Pi Pico
-
VSCode extension for AArch64 Linux
-
June 2023 What Are You Working On?
-
New project: Alice
-
Unconventional Project: Video Game Inventory Manager in Ada 2022
-
GNAT Studio Continuous Release 20230501
-
MACbook M1 - alr, gnat development troubles
-
The Ada ISO Library 1.0
-
May 2023 What Are You Working On?
-
Looking for feedback: ISO 3166-1 country Country Code Reference for Ada
-
gcc error while compiling Ada program
-
My friend and I created a software to teach kids how to problem solve and create cool projects. We made it incredibly fun, since it's something we wish we had when we were younger.
-
Ada targeting RPI
-
[ANN] Release of UXStrings 5.0
-
How to get the ARM toolchain up and running?
-
Themeable 2048 game for the desktop
-
April 2023 What Are You Working On?
-
Books to learn Ada generics?
-
Since MSys2 dropped support for Ada (!), how can I build Ada projects such as sdlada and gprbuild-bootstrap that require command-line tools (e.g. makefiles or bootstrap.sh) on Windows?
-
New release of vscode extension For Ada 23.0.15
-
Alire - inability to install some packages from the repository
-
Libadalang
-
Porting old firmware written in Ada to modern program
-
March 2023 What Are You Working On?
-
ChatGPT's thoughts on Ada?