|
Welcome to the Ada forum
|
|
9
|
2412
|
June 16, 2024
|
|
How to easily use AI Skills with your Ada projects
|
|
11
|
379
|
June 9, 2026
|
|
Anyone interested in resurrecting an open source strict Ada 83 (mil-std 1815A) compiler?
|
|
68
|
2745
|
June 9, 2026
|
|
Looking for documentation on Ada 83 exception mechanism implementation
|
|
2
|
132
|
June 9, 2026
|
|
Ada SPARK Office Hours
|
|
13
|
658
|
June 9, 2026
|
|
Survey On Verification-Aware Programming
|
|
0
|
43
|
June 9, 2026
|
|
Ada -Llama binding pluse rejigged other libraries
|
|
0
|
45
|
June 9, 2026
|
|
Formatter questions and alternatives [gnatformat, gnatpp]
|
|
7
|
55
|
June 8, 2026
|
|
Installing libadalang_tools via alire in Void Linux musl fails with missing dependency libgmp
|
|
4
|
50
|
June 9, 2026
|
|
Two new bindings on GitHub: ada-imgui + ada-stb, and a questionr
|
|
9
|
185
|
June 8, 2026
|
|
GNAT 16.1.0-rc1 - Call for testing
|
|
14
|
290
|
June 8, 2026
|
|
Raspberry Pi Pico USB Serial (CDC) not appearing on macOS
|
|
22
|
360
|
June 8, 2026
|
|
How to specify Ada runtime with GPRbuild
|
|
12
|
131
|
June 7, 2026
|
|
Let's discuss the future of alire.ada.dev and ada-lang.io
|
|
26
|
584
|
June 7, 2026
|
|
[Ann] Ada related package updates for Arch Linux
|
|
4
|
73
|
June 7, 2026
|
|
Alire Gtkada installation and failure (0x000007b)
|
|
4
|
139
|
June 7, 2026
|
|
GTKada overriding problem
|
|
3
|
92
|
June 7, 2026
|
|
Vulkan-ada and a few others renamed to the correct nomenclature
|
|
3
|
128
|
June 7, 2026
|
|
Crdt version 1.1.0
|
|
0
|
77
|
June 4, 2026
|
|
Alire 2.1.1 released
|
|
7
|
239
|
June 1, 2026
|
|
Question regarding GNAT availability for MacOS arm64 via getada (or not) with the new ALIRE release
|
|
1
|
86
|
May 30, 2026
|
|
LEA version 0.94
|
|
1
|
149
|
May 30, 2026
|
|
Show: The Super Tiny Compiler, but in Ada
|
|
6
|
262
|
May 29, 2026
|
|
Target differentiation in .gpr files needing different “with” clauses
|
|
3
|
140
|
May 29, 2026
|
|
AEiC 2026 - Ada-Europe conference - early registration deadline imminent
|
|
1
|
89
|
May 29, 2026
|
|
`GNAT.Serial_Communications` broke on Ubuntu 26.04
|
|
0
|
80
|
May 28, 2026
|
|
Ada Bootstrap compiler funding thanks to nlnet!
|
|
52
|
2096
|
May 26, 2026
|
|
SI Units Checked and Unchecked
|
|
5
|
262
|
May 25, 2026
|
|
Chapter 7 Reloaded – Multi-core Police Siren with Spinning Lights on the RP2040
|
|
2
|
120
|
May 25, 2026
|
|
Pi-Ada-Tutorial: Crates compiling on Linux/macOS but failing on Windows CI
|
|
13
|
183
|
May 24, 2026
|