|
Welcome to the Ada forum
|
|
9
|
2412
|
June 16, 2024
|
|
How to easily use AI Skills with your Ada projects
|
|
11
|
375
|
June 9, 2026
|
|
Anyone interested in resurrecting an open source strict Ada 83 (mil-std 1815A) compiler?
|
|
68
|
2744
|
June 9, 2026
|
|
Looking for documentation on Ada 83 exception mechanism implementation
|
|
2
|
132
|
June 9, 2026
|
|
Ada SPARK Office Hours
|
|
13
|
656
|
June 9, 2026
|
|
Survey On Verification-Aware Programming
|
|
0
|
40
|
June 9, 2026
|
|
Ada -Llama binding pluse rejigged other libraries
|
|
0
|
44
|
June 9, 2026
|
|
Formatter questions and alternatives [gnatformat, gnatpp]
|
|
7
|
54
|
June 8, 2026
|
|
Raspberry Pi Pico USB Serial (CDC) not appearing on macOS
|
|
22
|
359
|
June 8, 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
|
|
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
|
|
`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
|
|
Pi-Ada-Tutorial: Crates compiling on Linux/macOS but failing on Windows CI
|
|
13
|
183
|
May 24, 2026
|
|
Tasking with embedded_rp2040
|
|
6
|
145
|
May 23, 2026
|
|
Charactor size in Gnatstudio
|
|
2
|
80
|
May 23, 2026
|
|
Usefulness of Inline aspect nowadays
|
|
5
|
210
|
May 21, 2026
|
|
Installation of GNAT LLVM on macOS
|
|
0
|
87
|
May 20, 2026
|
|
Light Tasking runtime for Ada on Zephyr on Cortex M
|
|
0
|
87
|
May 19, 2026
|
|
Unit management in physical formulas
|
|
10
|
191
|
May 19, 2026
|
|
Ravenscar and gcc 16
|
|
9
|
133
|
May 18, 2026
|
|
Gnatstudio -- where is "Editor > Always use external editor?
|
|
0
|
67
|
May 17, 2026
|
|
Best practices for gnat studio installation?
|
|
16
|
183
|
May 17, 2026
|
|
GCC building help (GCC_NO_EXECUTABLES)
|
|
3
|
114
|
May 17, 2026
|
|
Why requeue only takes "names"
|
|
13
|
270
|
May 16, 2026
|
|
Using GtkAda with alire
|
|
14
|
673
|
May 15, 2026
|
|
Raylib 6.0 bindings
|
|
17
|
361
|
May 14, 2026
|