# Releases **URL:** https://forum.ada-lang.io/c/releases/7.md?page=1 [Latest](https://forum.ada-lang.io/latest.md) · [Categories](https://forum.ada-lang.io/categories.md) · [Tags](https://forum.ada-lang.io/tags.md) **Page:** 2 --- ## [\[ANN\] aDSA 1.3.0 — ZeroMQ-backed Annex E (DSA) runtime for GNAT — now runs on Windows and FreeBSD](https://forum.ada-lang.io/t/ann-adsa-1-3-0-zeromq-backed-annex-e-dsa-runtime-for-gnat-now-runs-on-windows-and-freebsd/4548)
**Author:** [@charlie5](https://forum.ada-lang.io/u/charlie5)\ **Replies:** 33\ **Last updated:** [August 21, 2026, 2:44pm UTC](https://forum.ada-lang.io/t/ann-adsa-1-3-0-zeromq-backed-annex-e-dsa-runtime-for-gnat-now-runs-on-windows-and-freebsd/4548 "2026-08-21T14:44:14Z")
aDSA is a free (GPLv3 + GCC Runtime Library Exception) Partition Communication Subsystem for Ada’s Distributed Systems Annex (Annex E), built on ZeroMQ — a runtime replacement for the deprecated PolyORB / GLADE. The c… --- ## [Flyology GNAT Patchsets](https://forum.ada-lang.io/t/flyology-gnat-patchsets/4627)
**Author:** [@yrashk](https://forum.ada-lang.io/u/yrashk)\ **Replies:** 5\ **Last updated:** [August 21, 2026, 1:36pm UTC](https://forum.ada-lang.io/t/flyology-gnat-patchsets/4627 "2026-08-21T13:36:10Z")
I’d like to share Flyology GNAT Patchsets, a project that curates reproducible GCC/GNAT fixes while they are being reviewed or backported upstream. Patchset 1.1.0 already includes fixes for: Storage-model component a… --- ## [Adacovex: code/proof/DO-178C HAL/docstring status tool](https://forum.ada-lang.io/t/adacovex-code-proof-do-178c-hal-docstring-status-tool/4600)
**Author:** [@bladeacer](https://forum.ada-lang.io/u/bladeacer)\ **Replies:** 17\ **Last updated:** [August 18, 2026, 1:16pm UTC](https://forum.ada-lang.io/t/adacovex-code-proof-do-178c-hal-docstring-status-tool/4600 "2026-08-18T13:16:25Z")
Basically wanted proper project badges generated from a CLI like in Golang/Rust for my Ada projects. Hope this would be a useful addition for checking on code quality. Supports parsing SPARK level, unit tests, DO-178 H… --- ## [\[Ann\] New Ada DSA project using ZeroMQ for comms](https://forum.ada-lang.io/t/ann-new-ada-dsa-project-using-zeromq-for-comms/4515)
**Author:** [@charlie5](https://forum.ada-lang.io/u/charlie5)\ **Replies:** 2\ **Last updated:** [August 10, 2026, 7:19am UTC](https://forum.ada-lang.io/t/ann-new-ada-dsa-project-using-zeromq-for-comms/4515 "2026-08-10T07:19:29Z")
I’ve mentioned this in other topics but thought I’d make a formal announcement, since it is now feature complete, tested and I’ve just published the git repo. Any feedback welcome, of course. Full disclosure → Claude-Co… --- ## [Adalang\_analyzer 1.0.0-rc1 — independent Libadalang-based static analyzer, looking for Ada/SPARK reviewers](https://forum.ada-lang.io/t/adalang-analyzer-1-0-0-rc1-independent-libadalang-based-static-analyzer-looking-for-ada-spark-reviewers/4620)
**Author:** [@mmartign](https://forum.ada-lang.io/u/mmartign)\ **Replies:** 0\ **Last updated:** [August 7, 2026, 9:26am UTC](https://forum.ada-lang.io/t/adalang-analyzer-1-0-0-rc1-independent-libadalang-based-static-analyzer-looking-for-ada-spark-reviewers/4620 "2026-08-07T09:26:13Z")
Hi all, I’ve been building adalang\_analyzer, an independent command-line static analyzer for Ada built on Libadalang (not affiliated with or endorsed by AdaCore). It’s now at 1.0.0-rc1, with an Alire package submitted (a… --- ## [Flyology Runtime: early preview](https://forum.ada-lang.io/t/flyology-runtime-early-preview/4616)
**Author:** [@yrashk](https://forum.ada-lang.io/u/yrashk)\ **Replies:** 4\ **Last updated:** [August 6, 2026, 7:38pm UTC](https://forum.ada-lang.io/t/flyology-runtime-early-preview/4616 "2026-08-06T19:38:46Z")
Hi there, Long-time lurker. A few years ago, I was pondering whether it would make sense for Ada/GNAT to have tasks that wouldn’t just map 1:1 to OS threads. But it wasn’t quite economical to try that out at the time. R… --- ## [ANN: Ada syntax analyzer v1.0](https://forum.ada-lang.io/t/ann-ada-syntax-analyzer-v1-0/4615)
**Author:** [@dmitry-kazakov](https://forum.ada-lang.io/u/dmitry-kazakov)\ **Replies:** 5\ **Last updated:** [August 6, 2026, 12:44pm UTC](https://forum.ada-lang.io/t/ann-ada-syntax-analyzer-v1-0/4615 "2026-08-06T12:44:29Z")
This is the first release of a small project of Ada syntax tree generation. I tried to implement everything specified in the annotated reference manual here. Yes, parallel constructs and iteration schemas are supported. … --- ## [ANN: Simple Components v4.82](https://forum.ada-lang.io/t/ann-simple-components-v4-82/4613)
**Author:** [@dmitry-kazakov](https://forum.ada-lang.io/u/dmitry-kazakov)\ **Replies:** 0\ **Last updated:** [August 5, 2026, 4:39pm UTC](https://forum.ada-lang.io/t/ann-simple-components-v4-82/4613 "2026-08-05T16:39:27Z")
The current version provides implementations of smart pointers, directed graphs, sets, maps, B-trees, stacks, tables, string editing, unbounded arrays, expression analyzers, lock-free data structures, synchronization pri… --- ## [ANN: Strings edit v3.12](https://forum.ada-lang.io/t/ann-strings-edit-v3-12/4609)
**Author:** [@dmitry-kazakov](https://forum.ada-lang.io/u/dmitry-kazakov)\ **Replies:** 0\ **Last updated:** [August 5, 2026, 8:42am UTC](https://forum.ada-lang.io/t/ann-strings-edit-v3-12/4609 "2026-08-05T08:42:25Z")
The library provides string handling facilities like I/O formatting, Unicode and obsolete code pages support. String processing for Ada Changes to the previous version: The function Strings\_Edit.UTF8.NFKD\_Quick\_Check… --- ## [\[ANN\] crdt 1.7.0 release](https://forum.ada-lang.io/t/ann-crdt-1-7-0-release/4591)
**Author:** [@bladeacer](https://forum.ada-lang.io/u/bladeacer)\ **Replies:** 4\ **Last updated:** [July 29, 2026, 2:12pm UTC](https://forum.ada-lang.io/t/ann-crdt-1-7-0-release/4591 "2026-07-29T14:12:13Z")
Yes the logo is public domain, and this project is not affiliated with AdaCore. Been a while since I last updated the project. For those who have not heard of the project before it is basically a crdt library for Ada … --- ## [ANN: HostARM 25.0.2](https://forum.ada-lang.io/t/ann-hostarm-25-0-2/2031)
**Author:** [@Jesper-Quorning](https://forum.ada-lang.io/u/Jesper-Quorning)\ **Replies:** 8\ **Last updated:** [July 29, 2026, 5:57am UTC](https://forum.ada-lang.io/t/ann-hostarm-25-0-2/2031 "2026-07-29T05:57:12Z")
Web server + (Annotated) Ada Reference Manual with optional filtering / replacement of navigation bars, key navigation, and local search function. HostARM crate --- ## [Meadowsweet, a simple MVC web framework](https://forum.ada-lang.io/t/meadowsweet-a-simple-mvc-web-framework/4512)
**Author:** [@rehartmann](https://forum.ada-lang.io/u/rehartmann)\ **Replies:** 4\ **Last updated:** [July 18, 2026, 9:16pm UTC](https://forum.ada-lang.io/t/meadowsweet-a-simple-mvc-web-framework/4512 "2026-07-18T21:16:53Z")
A simple MVC web framework implemented on top of Ada Servlet. https://github.com/rehartmann/meadowsweet https://github.com/rehartmann/meadowsweet\_jintp --- ## [New Tutorial: How to Set Up Unit Tests and SPARK Proofs](https://forum.ada-lang.io/t/new-tutorial-how-to-set-up-unit-tests-and-spark-proofs/4575)
**Author:** [@krischik](https://forum.ada-lang.io/u/krischik)\ **Replies:** 0\ **Last updated:** [July 14, 2026, 2:48pm UTC](https://forum.ada-lang.io/t/new-tutorial-how-to-set-up-unit-tests-and-spark-proofs/4575 "2026-07-14T14:48:47Z")
Hello everyone, I have just published a new guide on the AdaCL website that shows how I organise an Ada/Alire project so you can comfortably switch between normal builds, AUnit tests and full SPARK proofs — including va… --- ## [GNAT 16.1.0-rc1 - Call for testing](https://forum.ada-lang.io/t/gnat-16-1-0-rc1-call-for-testing/4474)
**Author:** [@csagaert](https://forum.ada-lang.io/u/csagaert)\ **Replies:** 22\ **Last updated:** [July 14, 2026, 8:36am UTC](https://forum.ada-lang.io/t/gnat-16-1-0-rc1-call-for-testing/4474 "2026-07-14T08:36:43Z")
Hi everyone, I published a (pre)release candidate build of GNAT FSF 16.1.0 in the GNAT FSF builds repo. I also added a branch in my fork of the Alire index on GitHub, with the release candidate in it. We invite you to … --- ## [\[ANN\] ZanyBlue available on Alire](https://forum.ada-lang.io/t/ann-zanyblue-available-on-alire/4557)
**Author:** [@Blady](https://forum.ada-lang.io/u/Blady)\ **Replies:** 0\ **Last updated:** [July 8, 2026, 7:22pm UTC](https://forum.ada-lang.io/t/ann-zanyblue-available-on-alire/4557 "2026-07-08T19:22:52Z")
ZanyBlue is a wonderful framework for internationalization natively in Ada. It includes a library you can use for your translations and a translation compiler from properties files to Ada source files. That is the big t… --- ## [\[ANN\] Release of UXStrings 0.9.3](https://forum.ada-lang.io/t/ann-release-of-uxstrings-0-9-3/4546)
**Author:** [@Blady](https://forum.ada-lang.io/u/Blady)\ **Replies:** 2\ **Last updated:** [July 8, 2026, 6:58pm UTC](https://forum.ada-lang.io/t/ann-release-of-uxstrings-0-9-3/4546 "2026-07-08T18:58:20Z")
This Ada library provides utilities for Unicode character strings of dynamic length. It is now available on Alire in version 0.9.3. Changes: Add a fifth implementation: Unicode\_Character\_Array (i.e.Wide\_Wide\_String) … --- ## [\[ANN\] ipDSA 1.2.0 — same-host Annex E (DSA) runtime over shared memory — now on Windows and FreeBSD](https://forum.ada-lang.io/t/ann-ipdsa-1-2-0-same-host-annex-e-dsa-runtime-over-shared-memory-now-on-windows-and-freebsd/4549)
**Author:** [@charlie5](https://forum.ada-lang.io/u/charlie5)\ **Replies:** 4\ **Last updated:** [July 8, 2026, 3:30pm UTC](https://forum.ada-lang.io/t/ann-ipdsa-1-2-0-same-host-annex-e-dsa-runtime-over-shared-memory-now-on-windows-and-freebsd/4549 "2026-07-08T15:30:29Z")
ipDSA is a free (GPLv3 + GCC Runtime Library Exception) Partition Communication Subsystem for Ada’s Distributed Systems Annex (Annex E), for same-host deployments: the partitions of a distributed program run as separa… --- ## [ANN: Simple Components v4.81](https://forum.ada-lang.io/t/ann-simple-components-v4-81/4541)
**Author:** [@dmitry-kazakov](https://forum.ada-lang.io/u/dmitry-kazakov)\ **Replies:** 0\ **Last updated:** [July 2, 2026, 6:10pm UTC](https://forum.ada-lang.io/t/ann-simple-components-v4-81/4541 "2026-07-02T18:10:27Z")
The current version provides implementations of smart pointers, directed graphs, sets, maps, B-trees, stacks, tables, string editing, unbounded arrays, expression analyzers, lock-free data structures, synchronization pri… --- ## [GNAT FSF 16 and GNATprove FSF 16 release](https://forum.ada-lang.io/t/gnat-fsf-16-and-gnatprove-fsf-16-release/4539)
**Author:** [@csagaert](https://forum.ada-lang.io/u/csagaert)\ **Replies:** 1\ **Last updated:** [July 2, 2026, 3:24pm UTC](https://forum.ada-lang.io/t/gnat-fsf-16-and-gnatprove-fsf-16-release/4539 "2026-07-02T15:24:55Z")
Hello, me again! I’ve released GNAT and GNATprove FSF 16 builds in the GNAT-FSF-builds repo. PRs for these new versions are being reviewed in the Alire index. These are based on the 16.1.0 release of GCC. For GNAT, thi… --- ## [GNAT Studio 2026.2 just released!](https://forum.ada-lang.io/t/gnat-studio-2026-2-just-released/4333)
**Author:** [@Irvise](https://forum.ada-lang.io/u/Irvise)\ **Replies:** 39\ **Last updated:** [July 1, 2026, 2:35pm UTC](https://forum.ada-lang.io/t/gnat-studio-2026-2-just-released/4333 "2026-07-01T14:35:44Z")
Fresh out of the oven, AdaCore just released v2026.2 of GNAT Studio! Have fun with it! Release link: Release GNAT Studio Continuous Release 2026.2 · AdaCore/gnatstudio · GitHub Best regards, Fer --- ## [HAC running in the browser via GNAT-LLVM (WebAssembly)](https://forum.ada-lang.io/t/hac-running-in-the-browser-via-gnat-llvm-webassembly/4536)
**Author:** [@ovenpasta](https://forum.ada-lang.io/u/ovenpasta)\ **Replies:** 3\ **Last updated:** [July 1, 2026, 7:29am UTC](https://forum.ada-lang.io/t/hac-running-in-the-browser-via-gnat-llvm-webassembly/4536 "2026-07-01T07:29:01Z")
I’ve ported HAC ( GitHub - zertovitch/hac: HAC Ada Compiler - a small, quick Ada compiler fully in Ada · GitHub ) (by Gautier de Montmollin) to the web - it runs as WebAssembly, live, here: Type an Ada (subset) progra… --- ## [aDSA 1.1.0 — a ZeroMQ-backed PCS for the Distributed Systems Annex (PolyORB replacement)](https://forum.ada-lang.io/t/adsa-1-1-0-a-zeromq-backed-pcs-for-the-distributed-systems-annex-polyorb-replacement/4533)
**Author:** [@charlie5](https://forum.ada-lang.io/u/charlie5)\ **Replies:** 2\ **Last updated:** [June 30, 2026, 10:00pm UTC](https://forum.ada-lang.io/t/adsa-1-1-0-a-zeromq-backed-pcs-for-the-distributed-systems-annex-polyorb-replacement/4533 "2026-06-30T22:00:15Z")
Hi all, With PolyORB deprecated and unmaintained, Annex E (distributed Ada) has been left effectively without a runtime. I’ve been building a replacement — aDSA — and 1.1.0 is now out. It’s a Partition Communication Su… --- ## [New Tutorial Chapter: Serial Communication on the Raspberry Pi Pico with Ada\*](https://forum.ada-lang.io/t/new-tutorial-chapter-serial-communication-on-the-raspberry-pi-pico-with-ada/4511)
**Author:** [@krischik](https://forum.ada-lang.io/u/krischik)\ **Replies:** 0\ **Last updated:** [June 19, 2026, 5:38pm UTC](https://forum.ada-lang.io/t/new-tutorial-chapter-serial-communication-on-the-raspberry-pi-pico-with-ada/4511 "2026-06-19T17:38:22Z")
Hello everyone, I have just published Chapter 8 – Serial Communication for the Pi Ada Tutorial. In this chapter I explore all three practical ways to do serial output and input on the Pico: SWD + Semihosting (the met… --- ## [Crdt version 1.1.0](https://forum.ada-lang.io/t/crdt-version-1-1-0/4476)
**Author:** [@bladeacer](https://forum.ada-lang.io/u/bladeacer)\ **Replies:** 1\ **Last updated:** [June 11, 2026, 2:27pm UTC](https://forum.ada-lang.io/t/crdt-version-1-1-0/4476 "2026-06-11T14:27:12Z")
Thought I’d post here as well as on Reddit. tldr; I wrote a CRDT library for Ada. So far it has stuff like PN\_Counters (Actor Map), LWW-Element-Set (Lamport Timestamps), RGAs (Yjs, Naive, Fugue), CvRDT with delta sync … --- ## [Two new bindings on GitHub: ada-imgui + ada-stb, and a questionr](https://forum.ada-lang.io/t/two-new-bindings-on-github-ada-imgui-ada-stb-and-a-questionr/4460)
**Author:** [@Tonyg](https://forum.ada-lang.io/u/Tonyg)\ **Replies:** 9\ **Last updated:** [June 8, 2026, 2:07pm UTC](https://forum.ada-lang.io/t/two-new-bindings-on-github-ada-imgui-ada-stb-and-a-questionr/4460 "2026-06-08T14:07:08Z")
\> Two new bindings on GitHub, both MIT: \> \> \*\*\[ada-imgui\]( GitHub - the-dark-factory/ada-imgui: Dear ImGui 的 Ada 绑定 | Ada bindings to Dear ImGui via cimgui. Immediate-mode GUI. 中文/EN · GitHub )\*\* — Ada \> bindings to D… --- ## [\[Ann\] Ada related package updates for Arch Linux](https://forum.ada-lang.io/t/ann-ada-related-package-updates-for-arch-linux/4491)
**Author:** [@charlie5](https://forum.ada-lang.io/u/charlie5)\ **Replies:** 4\ **Last updated:** [June 7, 2026, 8:57am UTC](https://forum.ada-lang.io/t/ann-ada-related-package-updates-for-arch-linux/4491 "2026-06-07T08:57:47Z")
Most of the Ada packages for Arch Linux have been updated, in particular the latest 2026.2 release of Adacore projects in the Gnatstudio stack. Unfortunately, the ‘gnatstudio’ package (built from source) crashes on star… --- ## [Alire 2.1.1 released](https://forum.ada-lang.io/t/alire-2-1-1-released/4463)
**Author:** [@mosteo](https://forum.ada-lang.io/u/mosteo)\ **Replies:** 7\ **Last updated:** [June 1, 2026, 12:13pm UTC](https://forum.ada-lang.io/t/alire-2-1-1-released/4463 "2026-06-01T12:13:13Z")
A new maintenance release is available at: No pressing need to update unless you’re experiencing some of the issues patched. Cheers, A. --- ## [LEA version 0.94](https://forum.ada-lang.io/t/lea-version-0-94/4453)
**Author:** [@zertovitch](https://forum.ada-lang.io/u/zertovitch)\ **Replies:** 1\ **Last updated:** [May 30, 2026, 5:52am UTC](https://forum.ada-lang.io/t/lea-version-0-94/4453 "2026-05-30T05:52:07Z")
LEA is a Lightweight Editor for Ada Alire crate: here Source repository #1: here Source repository #2: here Web site: here :new: Changes since last announcement here: For Ada or .gpr code, the copy operation puts … --- ## [Chapter 7 Reloaded – Multi-core Police Siren with Spinning Lights on the RP2040](https://forum.ada-lang.io/t/chapter-7-reloaded-multi-core-police-siren-with-spinning-lights-on-the-rp2040/4441)
**Author:** [@krischik](https://forum.ada-lang.io/u/krischik)\ **Replies:** 2\ **Last updated:** [May 25, 2026, 6:09am UTC](https://forum.ada-lang.io/t/chapter-7-reloaded-multi-core-police-siren-with-spinning-lights-on-the-rp2040/4441 "2026-05-25T06:09:35Z")
Hello everyone, I wasn’t happy with the original Chapter 7 buzzer, so I went a bit overboard and gave it the full treatment! The result is a proper wailing police siren with a smooth rotating red-and-blue light bar on … --- ## [Chapter 7 – Buzzer now available in the Pi-Ada Tutorial](https://forum.ada-lang.io/t/chapter-7-buzzer-now-available-in-the-pi-ada-tutorial/4429)
**Author:** [@krischik](https://forum.ada-lang.io/u/krischik)\ **Replies:** 0\ **Last updated:** [May 18, 2026, 6:18pm UTC](https://forum.ada-lang.io/t/chapter-7-buzzer-now-available-in-the-pi-ada-tutorial/4429 "2026-05-18T18:18:26Z")
Hello everyone, I have just uploaded Chapter 7 of my Raspberry Pi Pico Ada tutorial. In this chapter we drive both active and passive buzzers. We start with a simple button-controlled doorbell, then move on to a sweepi… [Previous page](https://forum.ada-lang.io/c/releases/7.md) [Next page](https://forum.ada-lang.io/c/releases/7.md?page=2)