|
Gnat Studio on Linux "Go To Declaration" doesn't always navigate to the right line
|
|
2
|
86
|
July 3, 2026
|
|
ANN: Simple Components v4.81
|
|
0
|
82
|
July 2, 2026
|
|
Ada SPARK Office Hours
|
|
15
|
976
|
July 2, 2026
|
|
Add Ada support for Zephyr RTOS
|
|
3
|
373
|
July 2, 2026
|
|
GNAT FSF 16 and GNATprove FSF 16 release
|
|
1
|
175
|
July 2, 2026
|
|
GNAT Studio 2026.2 just released!
|
|
39
|
1097
|
July 1, 2026
|
|
HAC running in the browser via GNAT-LLVM (WebAssembly)
|
|
3
|
193
|
July 1, 2026
|
|
aDSA 1.1.0 — a ZeroMQ-backed PCS for the Distributed Systems Annex (PolyORB replacement)
|
|
2
|
137
|
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
|
814
|
June 30, 2026
|
|
Debugging methodology
|
|
12
|
195
|
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
|
177
|
June 26, 2026
|
|
Ada User Awards Guidelines
|
|
0
|
143
|
June 26, 2026
|
|
Lack of entry calls in the Distributed System Annex
|
|
14
|
269
|
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
|
927
|
June 22, 2026
|
|
An embedded ecosystem for beginners
|
|
8
|
394
|
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
|
1059
|
June 17, 2026
|
|
GNAT-LLVM in Alire and improved WASM support
|
|
5
|
441
|
June 17, 2026
|
|
Visibility of enumeration items
|
|
8
|
221
|
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
|