|
Formally Verified Hashed Sets in Ada SPARK - Claire Dross / AdaCore
|
|
0
|
95
|
April 22, 2026
|
|
Different ways from the same program
|
|
9
|
230
|
April 22, 2026
|
|
Does not understand point about requeuing and preemption
|
|
12
|
271
|
April 21, 2026
|
|
Ada introduction talk in Complutense University, Madrid, 15th of April
|
|
11
|
375
|
April 21, 2026
|
|
Modern Languages
|
|
43
|
978
|
April 21, 2026
|
|
MSYS2 update seems to mess up GTK3 and/or GtkAda
|
|
8
|
403
|
April 21, 2026
|
|
Ada cross-compiler for bare metal SPARC V9 target
|
|
23
|
301
|
April 18, 2026
|
|
Ada syntax test suite
|
|
8
|
195
|
April 18, 2026
|
|
ANN: Tackle.Opts - declarative command line arguments parser
|
|
1
|
114
|
April 16, 2026
|
|
3rd Ada Developers Workshop @ AEiC 2026 - 2nd CfP
|
|
4
|
172
|
April 19, 2026
|
|
The new GNATdoc is available, let's create a `docs.ada.dev` website (mabye?)
|
|
57
|
1670
|
April 15, 2026
|
|
GCC/GNAT 16 changelog published, release is close
|
|
15
|
385
|
April 15, 2026
|
|
Chapter 5 – RGB LED with PWM + strange hang on delay until with embedded_rp2040 (help wanted)
|
|
2
|
117
|
April 15, 2026
|
|
For those wondering about source code formatting with Gnat Studio 2026.2
|
|
3
|
132
|
April 15, 2026
|
|
Gnat ide lost window perspectives formatting
|
|
2
|
82
|
April 15, 2026
|
|
Spike: Improving Ada highlighting with tree-sitter without the LSP context
|
|
0
|
74
|
April 15, 2026
|
|
New SDL3 bindings
|
|
5
|
192
|
April 15, 2026
|
|
How to protect from stack overflow on embedded targets?
|
|
13
|
305
|
April 14, 2026
|
|
Using an ADA program in two or more OS's
|
|
8
|
248
|
April 13, 2026
|
|
"then abort" not aborting
|
|
3
|
127
|
April 13, 2026
|
|
Zedboard and Blinking LEDs using Ada
|
|
0
|
63
|
April 12, 2026
|
|
Packaging gprbuild on OpenBSD
|
|
12
|
394
|
April 12, 2026
|
|
Enclosed task activation must complete before main program begins
|
|
2
|
82
|
April 11, 2026
|
|
Building ada_language_server on OpenBSD
|
|
8
|
168
|
April 11, 2026
|
|
Updating GitHub Main branch
|
|
9
|
214
|
April 11, 2026
|
|
Gemini (protocol) server in Ada
|
|
8
|
304
|
April 10, 2026
|
|
Building libadalang from source
|
|
2
|
88
|
April 10, 2026
|
|
Chapter 4 – Analog & PWM released (smooth breathing + flowing light bar)
|
|
2
|
63
|
April 10, 2026
|
|
Alire not finding libgmp ... but it is there in /usr/lib
|
|
4
|
98
|
April 9, 2026
|
|
Just published Chapter 1 of my Raspberry Pi Pico Ada tutorial series: “Blinking LEDs – Getting Started with Ada on the Pico”
|
|
11
|
385
|
April 9, 2026
|