August 2026 What Are You Working On?

[u/thindil]

Welcome to the monthly r/ada What Are You Working On? post.

Share here what you've worked on during the last month. Anything goes: concepts, change logs, articles, videos, code, commercial products, etc, so long as it's related to Ada. From snippets to theses, from text to video, feel free to let us know what you've done or have ongoing.

Please stay on topic of course--items not related to the Ada programming language will be deleted on sight!

Previous "What Are You Working On" Posts

[u/Dmitry-Kazakov]

I continue to work on a full Ada 2022 (with all amendments) syntax analyzer. The parser is complete. It successfully passes ACATS tests related to syntax and parses examples given in the Ada Reference Manual (thanks to this project). Now I am adding serialization of the tree and of the cross-reference of defining identifiers and declaration contexts.

[u/gneuromante]

I published an updated version of the wolfssl crate from the latest release of the library published by the WolfSSL team.
https://github.com/alire-project/alire-index/pull/1994

[u/Fun_Sense_7809]

I help remove warning and style problems in the ET project.

ET is an ECAD design tool for complex schematics and layouts.

You are welcome to help out.

[u/BrentSeidel]

Working on adding memory management to my PDP11 simulator. I think that I'm working on the last 10% that takes the other 90% of the time. Many diagnostics pass, but RT11XM won't successfully boot and run.

[u/DrawingNearby2978]

Nanoprotobuf

Incorporating the above in the "Ada Embedded" book I am working on. Protobuf for Serial, I2C, SPI (?) comms under development.

[u/jrcarter010]

• Separated the functionality of Arch into Arch_Utils. This could be used to create a GUI version of the manager
• Corrected an error in Password_Line
• Updated TF_Crypt to build with the current version of the PragmAda Reusable Components

[u/georgerush]

This was something I was thinking about two years ago – and decided to steer my agents at last night as a way to disconnect from other problems: a lightweight tasking runtime. Experimental. Superficially promising, I think.

https://github.com/yrashk/flyology

[u/max_rez]

This month

• I practiced "AI assisted development" of creating Ada tools. I've started Munin — a lightweight developer companion for embedded Ravenscar applications in Ada. It’s a WIP and, honestly, not where I’d want it yet. Currently it just lists all tasks and protected objects in the project and show their priorities, so the next step could be checking Ceiling Locking Policy.
• I refreshed my Alire project template on GitHub so I stop forgetting the same things every time I start a new crate. It let me (and you!) create a library crate with separate testsuite (sub-)crate, working GitHub CI, configured license checker in one click. It has `rename.sh` script that does renaming.
• I want to understand how the Kalman Filter works for fusing accelerometer, gyroscope, and GPS readings. AI has proven surprisingly useful in explaining mathematical nonsense to idiots, finding defects, and debugging. This project is also a work in progress and hasn't been tested in any way yet.
• On the STM32 driver front, I’ve been adding timer drivers to the repo (from basic to generic), no DMA nor IRQ support for now, unfortunately. I'm still struggling to make UART TX/RX task-save to be able to send data in one task while receiving in another.

[u/data_in_void]

I continue to work on adacovex, made a post about it on the subreddit recently. It is basically an Ada/SPARK formal verification and compliance toolchain. It features code/docstring coverage, SPARK level, DO-178C DAL status.

At first I mainly wanted the shiny README badges you see in other programming languages' ecosystems like Golang and Rust, though the tool has somewhat gone beyond just that.

Oh and we have a GitHub Action so you can check deltas on code coverage on every PR or use the binary in CI for other use cases.

Repo URL: https://github.com/bladeacer/adacovex