|
Welcome to the Ada forum
|
|
9
|
2338
|
June 16, 2024
|
|
My tutorial about distributed programming
|
|
3
|
68
|
May 9, 2026
|
|
RP2040 embedded runtime: adainit hangs in tasking when with Ada.Exceptions; is present (debugger only)
|
|
0
|
17
|
May 9, 2026
|
|
Ada SPARK Office Hours
|
|
2
|
90
|
May 8, 2026
|
|
Alire skill with Zephyr support
|
|
6
|
217
|
May 8, 2026
|
|
On the making of Raylib bindings
|
|
3
|
106
|
May 8, 2026
|
|
Ada 83 TLALOC on arm AARCH64 v8
|
|
17
|
308
|
May 7, 2026
|
|
Hidden body for STANDARD in Ada 83
|
|
0
|
69
|
May 7, 2026
|
|
Why won't alire detect this toolchain?
|
|
8
|
118
|
May 7, 2026
|
|
Choosing a way for a simple read-only read-once modify-easily small database
|
|
16
|
145
|
May 7, 2026
|
|
Ada on a Raspberry Pi 4B - seem to be missing libaraies
|
|
7
|
153
|
May 6, 2026
|
|
Tada - Ada Package Manager has a website now :)
|
|
11
|
182
|
May 4, 2026
|
|
How to use .h files in a gtkada program
|
|
1
|
107
|
May 4, 2026
|
|
Reminder: IRC exists
|
|
10
|
193
|
May 1, 2026
|
|
Anyone interested in resurrecting an open source strict Ada 83 (mil-std 1815A) compiler?
|
|
61
|
2275
|
May 1, 2026
|
|
Exploring what I can do with tree-sitter :)
|
|
3
|
173
|
May 1, 2026
|
|
Gtkada_shared.gpr.in to Gtkada_shared.gpr in Windows
|
|
2
|
92
|
April 29, 2026
|
|
Article on dev.to about README Driven Development / bbt
|
|
2
|
150
|
April 27, 2026
|
|
PIO square-wave test on RP2040 / RP2350 always produces a static high level (Pico and Pico 2W)
|
|
2
|
88
|
April 27, 2026
|
|
Task crashes before starting if class-wide object, not otherwise
|
|
4
|
81
|
April 26, 2026
|
|
Towards a HAL for multiple runtimes
|
|
16
|
247
|
April 24, 2026
|
|
Getting Started with ncurses ada
|
|
8
|
434
|
April 24, 2026
|
|
Tasks starts before body is elaborated?
|
|
13
|
100
|
April 24, 2026
|
|
AdaCore gems are harder to find and navigate
|
|
22
|
522
|
April 24, 2026
|
|
Gnu Emacs ada-mode - passing the torch
|
|
4
|
658
|
April 22, 2026
|
|
More Ada Jobs (Nov2025)
|
|
5
|
730
|
April 22, 2026
|
|
Do you use Artificial Intelligence for Ada coding?
|
|
29
|
887
|
April 22, 2026
|
|
Formally Verified Hashed Sets in Ada SPARK - Claire Dross / AdaCore
|
|
0
|
86
|
April 22, 2026
|
|
Different ways from the same program
|
|
9
|
189
|
April 22, 2026
|
|
Does not understand point about requeuing and preemption
|
|
12
|
236
|
April 21, 2026
|