Ada SPARK Office Hours 2026-09-11

Events
1

This Friday is the next instance of our Ada SPARK Office Hours. Proposed topics:

  • Discussion on some of the Ada extensions (aka Flare)
  • Lifting existing Ada projects to SPARK
  • FOSDEM Ada DevRoom
  • Maybe we can uncover a bit of the blanket on this

And of course open to any other topics people are interested to talk about.

More detail and links are here: Ada SPARK Office Hours | AdaCore , 10am-11am ET!

Feel free to propose additional topics by commenting on this article. Recording and summary will be posted typically within a week.

3 Likes
2

I sadly wont make it to this meeting in any way, so have fun and feel free to forward me any questions related to FOSDEM if they are left unanswered!

Best regards,
Fer

PS: good luck @markhermeling in NASPICE!

1 Like
4

@markhermeling
I decided to open source the two different projects I showed today.
(Note: a LOT of this code is AI generated, so take it all with a grain of salt)
The async runtime: GitHub - ValorZard/io_uring_async_runtime_slop · GitHub
An experiment in making SPARK proven coroutines: GitHub - ValorZard/ada-generators-slop · GitHub

5

Idem for me. Have a good meeting!

6

Missed this office hour as I was away for a bit. Looking forward to the next one, I have some stuff I which believe could be discussed though I would have to take some time to collate my thoughts.

1 Like