|
Welcome to the Ada forum
|
|
9
|
2196
|
June 16, 2024
|
|
No 'Truncation attribute for fixed points types
|
|
27
|
414
|
January 22, 2026
|
|
Problem with installing Gtkada or gcc or or code Hello World Gtkada?
|
|
4
|
71
|
January 22, 2026
|
|
SPARK Verified Postfix Expression Calculator
|
|
8
|
335
|
January 21, 2026
|
|
New How-to in Ada-Lang: creating a plugin system
|
|
6
|
98
|
January 21, 2026
|
|
The future of PolyORB and the DSA
|
|
25
|
406
|
January 21, 2026
|
|
AdaCore libraries 26.0 information
|
|
2
|
95
|
January 21, 2026
|
|
SPARKlib adds functional trees
|
|
6
|
138
|
January 21, 2026
|
|
[Alire] Which rp2040 runtime?
|
|
11
|
179
|
January 20, 2026
|
|
ANN: Arch linux ~ Breakage of gnatstudio package and new alternative
|
|
7
|
84
|
January 20, 2026
|
|
Google Summer of Code 2026, Ada's participation?
|
|
6
|
193
|
January 20, 2026
|
|
Setting up database as complete beginner
|
|
20
|
143
|
January 20, 2026
|
|
How to finde postconditions to spark a rubik's cube?
|
|
3
|
89
|
January 19, 2026
|
|
Alire GTKAda build fails to run due to duplicate LC_RPATH error
|
|
3
|
113
|
January 18, 2026
|
|
Ada/SPARK, marketing, reach and the abysmal state of things
|
|
22
|
933
|
January 18, 2026
|
|
MySQL data extraction
|
|
19
|
219
|
January 18, 2026
|
|
Cross cutting concepts like logging
|
|
4
|
101
|
January 18, 2026
|
|
Can someone test this short code (compiler error?)
|
|
6
|
111
|
January 17, 2026
|
|
Ada Monthly Meetup, 7th of February 2026
|
|
3
|
134
|
January 17, 2026
|
|
GNAT-LLVM has been updated to support LLVM v21!
|
|
0
|
68
|
January 16, 2026
|
|
Request for an explanation: secondary stack
|
|
2
|
119
|
January 16, 2026
|
|
Looking for HTML / CSS Ada decoder / encoder
|
|
9
|
153
|
January 15, 2026
|
|
Memory mapped record object issue
|
|
14
|
203
|
January 15, 2026
|
|
Writing a Forth-Like
|
|
0
|
80
|
January 15, 2026
|
|
Ada 2022 'parallel' implementation beta for FSF GCC/GNAT
|
|
10
|
505
|
January 14, 2026
|
|
Provide a forum category for tech-support questions
|
|
6
|
161
|
January 13, 2026
|
|
[Charity] Advent of Ada/SPARK 2025 Submissions
|
|
103
|
1333
|
January 13, 2026
|
|
[Spain] XXIV premio Ada-Spain a proyectos académicos
|
|
0
|
57
|
January 13, 2026
|
|
AEiC 2026 - Ada-Europe conference - Journal Track Deadline Extended
|
|
1
|
85
|
January 13, 2026
|
|
Fixed Point Numbers
|
|
28
|
617
|
January 12, 2026
|