|
Trouble interfacing with C libraries; Making thick bindings
|
|
18
|
399
|
June 25, 2025
|
|
Template program with GtkADA
|
|
2
|
81
|
June 25, 2025
|
|
RFC: runtime generator for bare board applications
|
|
7
|
161
|
June 23, 2025
|
|
Fully specifying packages
|
|
5
|
211
|
June 22, 2025
|
|
Ada Continues to Climb in June TIOBE Index and PYPL
|
|
12
|
3779
|
June 23, 2025
|
|
What kind of package declaration is this?
|
|
14
|
348
|
June 23, 2025
|
|
GNAT Studio and Apple Sequoia
|
|
2
|
115
|
June 22, 2025
|
|
Beginning an odyssey into Ada and . .
|
|
12
|
336
|
June 21, 2025
|
|
Is there an Ada badge like the Alire one?
|
|
44
|
777
|
June 21, 2025
|
|
Trouble with default discriminants in variant record (STORAGE_ERROR)
|
|
3
|
110
|
June 21, 2025
|
|
Beginner help: file not found error with example code
|
|
7
|
104
|
June 21, 2025
|
|
AdaCore and CodeSecure Merge to Form A Global Company
|
|
2
|
181
|
June 19, 2025
|
|
Why is Always_Terminates not transitive for access to subprograms?
|
|
3
|
130
|
June 16, 2025
|
|
SPARK Verified Postfix Expression Calculator
|
|
7
|
235
|
June 15, 2025
|
|
Don't forget to fill out the 2025 Stack Overflow Survey! (closing soon?)
|
|
3
|
180
|
June 15, 2025
|
|
Specifying major order for packed matrix
|
|
11
|
223
|
June 11, 2025
|
|
Simon J Wright - RIP
|
|
27
|
1138
|
June 10, 2025
|
|
Ada development einvironment on Windows
|
|
5
|
142
|
June 10, 2025
|
|
[Reminder] The PragmAda Reusable Components
|
|
9
|
213
|
June 6, 2025
|
|
Article: NVIDIA drives Ada and SPARK into driverless cars
|
|
0
|
286
|
June 6, 2025
|
|
NVIDIA publishes SPARK Process to meet ISO-26262 requirements
|
|
1
|
144
|
June 4, 2025
|
|
Implementation of generic units in Ada 83
|
|
32
|
611
|
June 4, 2025
|
|
Getting Started with ncurses ada
|
|
7
|
201
|
June 4, 2025
|
|
How to locate waste of CPU?
|
|
16
|
243
|
June 4, 2025
|
|
Generics and compilation time
|
|
14
|
220
|
June 4, 2025
|
|
Assigning to Array Index Doesn't Guarantee Equality Check in Spark
|
|
5
|
131
|
June 3, 2025
|
|
Choice_simple_expression and tested_simple_expression
|
|
3
|
58
|
June 1, 2025
|
|
I added a couple of AdaCore repos to Deepwiki
|
|
0
|
90
|
June 1, 2025
|
|
How "safe" is Ada?
|
|
3
|
184
|
May 30, 2025
|
|
Help making SPARK-compatible function that mutates arguments and returns variant record
|
|
12
|
236
|
May 30, 2025
|