|
Ada SPARK Office Hours
|
|
15
|
973
|
July 2, 2026
|
|
Add Ada support for Zephyr RTOS
|
|
3
|
372
|
July 2, 2026
|
|
GNAT FSF 16 and GNATprove FSF 16 release
|
|
1
|
174
|
July 2, 2026
|
|
GNAT Studio 2026.2 just released!
|
|
39
|
1093
|
July 1, 2026
|
|
HAC running in the browser via GNAT-LLVM (WebAssembly)
|
|
3
|
191
|
July 1, 2026
|
|
aDSA 1.1.0 — a ZeroMQ-backed PCS for the Distributed Systems Annex (PolyORB replacement)
|
|
2
|
135
|
June 30, 2026
|
|
[Alire] Which rp2040 runtime?
|
|
14
|
455
|
June 30, 2026
|
|
Disclosure of incorporation of LLM outputs in (e.g., Alire-indexed) projects
|
|
28
|
810
|
June 30, 2026
|
|
Debugging methodology
|
|
12
|
194
|
June 29, 2026
|
|
Documenting the technical aspects and development of a GNAT/RTS
|
|
2
|
130
|
June 28, 2026
|
|
Packaging and Examples for the Ada 2022 Parallel features implementation
|
|
0
|
111
|
June 28, 2026
|
|
Creation of a GNAT Ada Runtime for Zephyr RTOS
|
|
0
|
73
|
June 28, 2026
|
|
Creation of a GNAT Ada Runtime for WASM
|
|
0
|
98
|
June 28, 2026
|
|
Decentralized social network
|
|
11
|
172
|
June 26, 2026
|
|
Ada User Awards Guidelines
|
|
0
|
142
|
June 26, 2026
|
|
Lack of entry calls in the Distributed System Annex
|
|
14
|
264
|
June 25, 2026
|
|
Ada SPARK Office Hours - 2026-06-19
|
|
4
|
188
|
June 24, 2026
|
|
[Ann] New Ada DSA project using ZeroMQ for comms
|
|
0
|
98
|
June 22, 2026
|
|
How to easily use AI Skills with your Ada projects
|
|
24
|
922
|
June 22, 2026
|
|
An embedded ecosystem for beginners
|
|
8
|
392
|
June 22, 2026
|
|
New Tutorial Chapter: Serial Communication on the Raspberry Pi Pico with Ada*
|
|
0
|
80
|
June 19, 2026
|
|
Implementing ZFP runtime
|
|
14
|
336
|
June 19, 2026
|
|
Polyorb/DSA Bug Fixes
|
|
3
|
147
|
June 18, 2026
|
|
Let's discuss the future of alire.ada.dev and ada-lang.io
|
|
37
|
1058
|
June 17, 2026
|
|
GNAT-LLVM in Alire and improved WASM support
|
|
5
|
440
|
June 17, 2026
|
|
Visibility of enumeration items
|
|
8
|
220
|
June 17, 2026
|
|
Reminder: IRC exists
|
|
11
|
398
|
June 15, 2026
|
|
POSSIBLE Bug/Unclear Docs: Generic interfaces/indefinite abstract tagged private
|
|
1
|
117
|
June 14, 2026
|
|
Generic Packages and Gnattest
|
|
3
|
112
|
June 13, 2026
|
|
Help on string representation of enumeration
|
|
4
|
121
|
June 12, 2026
|