# Releases **URL:** https://forum.ada-lang.io/c/releases/7.md [Latest](https://forum.ada-lang.io/latest.md) · [Categories](https://forum.ada-lang.io/categories.md) · [Tags](https://forum.ada-lang.io/tags.md) --- ## [About the Releases category](https://forum.ada-lang.io/t/about-the-releases-category/419)
**Author:** [@JeremyGrosser](https://forum.ada-lang.io/u/JeremyGrosser)\ **Replies:** 0
Library, Tool, and Application version announcements. --- ## [AdaCL.Serial is on Alire — and a call for SPARK eyes](https://forum.ada-lang.io/t/adacl-serial-is-on-alire-and-a-call-for-spark-eyes/4685)
**Author:** [@krischik](https://forum.ada-lang.io/u/krischik)\ **Replies:** 9\ **Last updated:** [September 24, 2026, 11:22pm UTC](https://forum.ada-lang.io/t/adacl-serial-is-on-alire-and-a-call-for-spark-eyes/4685 "2026-09-24T23:22:39Z")
I am pleased to announce that AdaCL.Serial has been accepted into the Alire index as crate adacl\_serial (version 7.2.1). It is a compact, SPARK-friendly companion to GNAT.Serial\_Communications. The crate contains a sing… --- ## [Swiss\_micros\_tools, and a tutorial outside the our bubble](https://forum.ada-lang.io/t/swiss-micros-tools-and-a-tutorial-outside-the-our-bubble/4768)
**Author:** [@krischik](https://forum.ada-lang.io/u/krischik)\ **Replies:** 0\ **Last updated:** [September 22, 2026, 8:08pm UTC](https://forum.ada-lang.io/t/swiss-micros-tools-and-a-tutorial-outside-the-our-bubble/4768 "2026-09-22T20:08:27Z")
I have just shipped swiss\_micros\_tools: host-side Ada 2022 programmes that drive SwissMicros pocket calculators over USB serial. The first binary, dm\_set\_time, sets the machine clock from the host. Memory send/receive ar… --- ## [HAC version 0.45](https://forum.ada-lang.io/t/hac-version-0-45/4767)
**Author:** [@zertovitch](https://forum.ada-lang.io/u/zertovitch)\ **Replies:** 0\ **Last updated:** [September 22, 2026, 7:36pm UTC](https://forum.ada-lang.io/t/hac-version-0-45/4767 "2026-09-22T19:36:28Z")
HAC - HAC Ada Compiler - is a small, quick, open-source Ada compiler, covering a subset of the Ada language. HAC is perhaps the first open-source (albeit partial) Ada compiler fully programmed in Ada itself. HAC can be… --- ## [\[ANN\]: adacovex 1.48.0: Performance improvements, more flags](https://forum.ada-lang.io/t/ann-adacovex-1-48-0-performance-improvements-more-flags/4741)
**Author:** [@bladeacer](https://forum.ada-lang.io/u/bladeacer)\ **Replies:** 0\ **Last updated:** [September 14, 2026, 9:11am UTC](https://forum.ada-lang.io/t/ann-adacovex-1-48-0-performance-improvements-more-flags/4741 "2026-09-14T09:11:12Z")
Changelogs adacovex 1.48.0 - adacovex latest documentation adacovex 1.47.0 - adacovex latest documentation adacovex 1.46.0 - adacovex latest documentation Git Changelog: Build Provenance Attestation: tldr; plent… --- ## [\[ANN\]: adacovex 1.40.0: Full fledged documentation site and other niceties](https://forum.ada-lang.io/t/ann-adacovex-1-40-0-full-fledged-documentation-site-and-other-niceties/4701)
**Author:** [@bladeacer](https://forum.ada-lang.io/u/bladeacer)\ **Replies:** 3\ **Last updated:** [September 13, 2026, 2:05pm UTC](https://forum.ada-lang.io/t/ann-adacovex-1-40-0-full-fledged-documentation-site-and-other-niceties/4701 "2026-09-13T14:05:35Z")
Project status So the last time I posted about the tool, it was still rough around the edges in some aspects. Admittedly there are still things I want to fix, though the recent changes up to the current version. Took my … --- ## [\[ANN\] AHT an Ada HTTP/1.1 and WebSocket client with TLS via OpenSSL or mbedTLS](https://forum.ada-lang.io/t/ann-aht-an-ada-http-1-1-and-websocket-client-with-tls-via-openssl-or-mbedtls/4721)
**Author:** [@ovenpasta](https://forum.ada-lang.io/u/ovenpasta)\ **Replies:** 6\ **Last updated:** [September 11, 2026, 1:12am UTC](https://forum.ada-lang.io/t/ann-aht-an-ada-http-1-1-and-websocket-client-with-tls-via-openssl-or-mbedtls/4721 "2026-09-11T01:12:31Z")
--- ## [Chapter 9 – AD Converter: three ways to read a voltage](https://forum.ada-lang.io/t/chapter-9-ad-converter-three-ways-to-read-a-voltage/4714)
**Author:** [@krischik](https://forum.ada-lang.io/u/krischik)\ **Replies:** 3\ **Last updated:** [September 3, 2026, 11:53am UTC](https://forum.ada-lang.io/t/chapter-9-ad-converter-three-ways-to-read-a-voltage/4714 "2026-09-03T11:53:33Z")
Hello everyone, I have just published Chapter 9 of the Pi Ada Tutorial: AD Converter – three ways to read a voltage This is the Freenove potentiometer lesson in Ada. One sketch on GP26 prints the raw 12-bit code, the… --- ## [ANN: SparForte 3.0.1](https://forum.ada-lang.io/t/ann-sparforte-3-0-1/4711)
**Author:** [@ken](https://forum.ada-lang.io/u/ken)\ **Replies:** 0\ **Last updated:** [September 1, 2026, 8:58pm UTC](https://forum.ada-lang.io/t/ann-sparforte-3-0-1/4711 "2026-09-01T20:58:32Z")
SparForte is a scripting language, template language and shell based on Ada and Bourne shell. It has been in development for over 20 years and has about 135,000 lines of code. This release contains bug fixes prior to un… --- ## [ANN: Configurable bareboard runtimes v16.0.0](https://forum.ada-lang.io/t/ann-configurable-bareboard-runtimes-v16-0-0/4707)
**Author:** [@damaki](https://forum.ada-lang.io/u/damaki)\ **Replies:** 0\ **Last updated:** [September 1, 2026, 11:13am UTC](https://forum.ada-lang.io/t/ann-configurable-bareboard-runtimes-v16-0-0/4707 "2026-09-01T11:13:11Z")
Version 16.0.0 of my configurable bareboard GNAT runtime crates is now available. Highlights in v16.0.0: Updated the runtimes to GNAT FSF 16 Fixed an issue when building on Windows where the compiler could sometimes… --- ## [\[ANN\] adacovex 1.14.0: Multiple Compliance Standards, plenty of QOL updates](https://forum.ada-lang.io/t/ann-adacovex-1-14-0-multiple-compliance-standards-plenty-of-qol-updates/4644)
**Author:** [@bladeacer](https://forum.ada-lang.io/u/bladeacer)\ **Replies:** 2\ **Last updated:** [August 29, 2026, 12:50pm UTC](https://forum.ada-lang.io/t/ann-adacovex-1-14-0-multiple-compliance-standards-plenty-of-qol-updates/4644 "2026-08-29T12:50:44Z")
Figured I made enough changes to the codebase to warrant a new topic. A fair bit of improvements have been made since the last 1.9.0 release. For those that have not heard of adacovex, it is an Ada/SPARK formal verif… --- ## [Adi2: A modern GUI library for Ada: CSS styling, XML UI, SDL3 - released as Open Source](https://forum.ada-lang.io/t/adi2-a-modern-gui-library-for-ada-css-styling-xml-ui-sdl3-released-as-open-source/4663)
**Author:** [@ovenpasta](https://forum.ada-lang.io/u/ovenpasta)\ **Replies:** 25\ **Last updated:** [August 29, 2026, 9:30am UTC](https://forum.ada-lang.io/t/adi2-a-modern-gui-library-for-ada-css-styling-xml-ui-sdl3-released-as-open-source/4663 "2026-08-29T09:30:19Z")
--- ## [\[ANN\] GNAT Studio 2026.2a for macOS Ventura](https://forum.ada-lang.io/t/ann-gnat-studio-2026-2a-for-macos-ventura/4679)
**Author:** [@Blady](https://forum.ada-lang.io/u/Blady)\ **Replies:** 3\ **Last updated:** [August 28, 2026, 12:57pm UTC](https://forum.ada-lang.io/t/ann-gnat-studio-2026-2a-for-macos-ventura/4679 "2026-08-28T12:57:57Z")
Here is a very preliminary version of GNAT Studio 2026.2a as a stand alone app for macOS. NEW: The GNATStudio launcher looks for a gnatstudio\_launcher.rc file which support environment variables with the standard synta… --- ## [\[Announce\] GNAT Runtime for ESP-IDF 0.1.0](https://forum.ada-lang.io/t/announce-gnat-runtime-for-esp-idf-0-1-0/4419)
**Author:** [@godunko](https://forum.ada-lang.io/u/godunko)\ **Replies:** 5\ **Last updated:** [August 27, 2026, 6:41pm UTC](https://forum.ada-lang.io/t/announce-gnat-runtime-for-esp-idf-0-1-0/4419 "2026-08-27T18:41:00Z")
:rocket: Announcing: GNAT Runtime for Ada & SPARK on ESP32 I’m excited to share the latest updates for the espidf\_gnat\_runtime project! This runtime allows you to run embedded applications by leveraging the core feature… --- ## [\[ANN\] aDSA v1.5.2 Release](https://forum.ada-lang.io/t/ann-adsa-v1-5-2-release/4657)
**Author:** [@charlie5](https://forum.ada-lang.io/u/charlie5)\ **Replies:** 2\ **Last updated:** [August 25, 2026, 6:14am UTC](https://forum.ada-lang.io/t/ann-adsa-v1-5-2-release/4657 "2026-08-25T06:14:27Z")
aDSA v1.5.2 — Ada’s Distributed Systems Annex over ZeroMQ: dynamic networks, IPv6, and a new home aDSA is a Partition Communication Subsystem (PCS) for Ada’s Distributed Systems Annex (Annex E), replacing the discontinu… --- ## [\[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… [Next page](https://forum.ada-lang.io/c/releases/7.md?page=1)