|
SPARK Verified Postfix Expression Calculator
|
|
8
|
362
|
January 21, 2026
|
|
AdaCore libraries 26.0 information
|
|
2
|
159
|
January 21, 2026
|
|
SPARKlib adds functional trees
|
|
6
|
166
|
January 21, 2026
|
|
ANN: Arch linux ~ Breakage of gnatstudio package and new alternative
|
|
7
|
100
|
January 20, 2026
|
|
Google Summer of Code 2026, Ada's participation?
|
|
6
|
225
|
January 20, 2026
|
|
Setting up database as complete beginner
|
|
20
|
174
|
January 20, 2026
|
|
How to finde postconditions to spark a rubik's cube?
|
|
3
|
102
|
January 19, 2026
|
|
Alire GTKAda build fails to run due to duplicate LC_RPATH error
|
|
3
|
125
|
January 18, 2026
|
|
Ada/SPARK, marketing, reach and the abysmal state of things
|
|
22
|
977
|
January 18, 2026
|
|
Cross cutting concepts like logging
|
|
4
|
122
|
January 18, 2026
|
|
Can someone test this short code (compiler error?)
|
|
6
|
130
|
January 17, 2026
|
|
GNAT-LLVM has been updated to support LLVM v21!
|
|
0
|
108
|
January 16, 2026
|
|
Request for an explanation: secondary stack
|
|
2
|
153
|
January 16, 2026
|
|
Looking for HTML / CSS Ada decoder / encoder
|
|
9
|
167
|
January 15, 2026
|
|
Memory mapped record object issue
|
|
14
|
214
|
January 15, 2026
|
|
Writing a Forth-Like
|
|
0
|
109
|
January 15, 2026
|
|
Ada 2022 'parallel' implementation beta for FSF GCC/GNAT
|
|
10
|
553
|
January 14, 2026
|
|
Provide a forum category for tech-support questions
|
|
6
|
167
|
January 13, 2026
|
|
[Spain] XXIV premio Ada-Spain a proyectos académicos
|
|
0
|
75
|
January 13, 2026
|
|
AEiC 2026 - Ada-Europe conference - Journal Track Deadline Extended
|
|
1
|
96
|
January 13, 2026
|
|
Feedback? A WIP "fun" presentation of Ada
|
|
18
|
294
|
January 11, 2026
|
|
Starting Ada - It has to work
|
|
56
|
2943
|
January 10, 2026
|
|
Division by Zero on Float types
|
|
3
|
172
|
January 9, 2026
|
|
Just a thought: Ada should be perfect for vibe coding
|
|
10
|
244
|
January 8, 2026
|
|
GNAT toolchain now broken after OS upgrade to MacOS 26 (Tahoe), arm64
|
|
28
|
898
|
January 7, 2026
|
|
Installed gnatformat via alire on Windows and it does... nothing
|
|
19
|
207
|
January 7, 2026
|
|
Is there anything for Alire to take from this?
|
|
1
|
101
|
January 6, 2026
|
|
What is the PATH for the ada_language_server binary in FreeBSD?
|
|
5
|
116
|
January 5, 2026
|
|
ANN: Simple Components v4.78
|
|
0
|
78
|
January 5, 2026
|
|
Ada on the PYPL index
|
|
22
|
1656
|
January 5, 2026
|