|
Gtkada_shared.gpr.in to Gtkada_shared.gpr in Windows
|
|
2
|
115
|
April 29, 2026
|
|
Article on dev.to about README Driven Development / bbt
|
|
2
|
171
|
April 27, 2026
|
|
PIO square-wave test on RP2040 / RP2350 always produces a static high level (Pico and Pico 2W)
|
|
2
|
185
|
April 27, 2026
|
|
Task crashes before starting if class-wide object, not otherwise
|
|
4
|
105
|
April 26, 2026
|
|
Towards a HAL for multiple runtimes
|
|
16
|
319
|
April 24, 2026
|
|
Getting Started with ncurses ada
|
|
8
|
505
|
April 24, 2026
|
|
Tasks starts before body is elaborated?
|
|
13
|
178
|
April 24, 2026
|
|
AdaCore gems are harder to find and navigate
|
|
22
|
587
|
April 24, 2026
|
|
Gnu Emacs ada-mode - passing the torch
|
|
4
|
677
|
April 22, 2026
|
|
More Ada Jobs (Nov2025)
|
|
5
|
790
|
April 22, 2026
|
|
Do you use Artificial Intelligence for Ada coding?
|
|
29
|
1146
|
April 22, 2026
|
|
Formally Verified Hashed Sets in Ada SPARK - Claire Dross / AdaCore
|
|
0
|
95
|
April 22, 2026
|
|
Different ways from the same program
|
|
9
|
235
|
April 22, 2026
|
|
Does not understand point about requeuing and preemption
|
|
12
|
275
|
April 21, 2026
|
|
Modern Languages
|
|
43
|
992
|
April 21, 2026
|
|
MSYS2 update seems to mess up GTK3 and/or GtkAda
|
|
8
|
409
|
April 21, 2026
|
|
Ada cross-compiler for bare metal SPARC V9 target
|
|
23
|
311
|
April 18, 2026
|
|
Ada syntax test suite
|
|
8
|
195
|
April 18, 2026
|
|
The new GNATdoc is available, let's create a `docs.ada.dev` website (mabye?)
|
|
57
|
1701
|
April 15, 2026
|
|
For those wondering about source code formatting with Gnat Studio 2026.2
|
|
3
|
136
|
April 15, 2026
|
|
Spike: Improving Ada highlighting with tree-sitter without the LSP context
|
|
0
|
75
|
April 15, 2026
|
|
New SDL3 bindings
|
|
5
|
204
|
April 15, 2026
|
|
How to protect from stack overflow on embedded targets?
|
|
13
|
310
|
April 14, 2026
|
|
Using an ADA program in two or more OS's
|
|
8
|
257
|
April 13, 2026
|
|
"then abort" not aborting
|
|
3
|
128
|
April 13, 2026
|
|
Zedboard and Blinking LEDs using Ada
|
|
0
|
64
|
April 12, 2026
|
|
Packaging gprbuild on OpenBSD
|
|
12
|
409
|
April 12, 2026
|
|
Enclosed task activation must complete before main program begins
|
|
2
|
82
|
April 11, 2026
|
|
Building libadalang from source
|
|
2
|
90
|
April 10, 2026
|
|
Alire not finding libgmp ... but it is there in /usr/lib
|
|
4
|
106
|
April 9, 2026
|