|
SPARK Verified Postfix Expression Calculator
|
|
7
|
234
|
June 15, 2025
|
|
Don't forget to fill out the 2025 Stack Overflow Survey! (closing soon?)
|
|
3
|
179
|
June 15, 2025
|
|
Ada Developers Workshop @ AEiC 2025 - Paris, June 13th
|
|
10
|
384
|
June 14, 2025
|
|
Specifying major order for packed matrix
|
|
11
|
222
|
June 11, 2025
|
|
Simon J Wright - RIP
|
|
27
|
1106
|
June 10, 2025
|
|
Ada development einvironment on Windows
|
|
5
|
139
|
June 10, 2025
|
|
Ada Bootstrap compiler funding thanks to nlnet!
|
|
47
|
1165
|
June 8, 2025
|
|
[Reminder] The PragmAda Reusable Components
|
|
9
|
210
|
June 6, 2025
|
|
Article: NVIDIA drives Ada and SPARK into driverless cars
|
|
0
|
272
|
June 6, 2025
|
|
NVIDIA publishes SPARK Process to meet ISO-26262 requirements
|
|
1
|
140
|
June 4, 2025
|
|
Implementation of generic units in Ada 83
|
|
32
|
600
|
June 4, 2025
|
|
Getting Started with ncurses ada
|
|
7
|
190
|
June 4, 2025
|
|
How to locate waste of CPU?
|
|
16
|
241
|
June 4, 2025
|
|
Generics and compilation time
|
|
14
|
218
|
June 4, 2025
|
|
Assigning to Array Index Doesn't Guarantee Equality Check in Spark
|
|
5
|
125
|
June 3, 2025
|
|
REMINDER: Free online participation in the Ada Developers Workshop, June 13th
|
|
1
|
269
|
June 3, 2025
|
|
Choice_simple_expression and tested_simple_expression
|
|
3
|
58
|
June 1, 2025
|
|
Globe_3d 2025-04-18
|
|
6
|
184
|
June 1, 2025
|
|
I added a couple of AdaCore repos to Deepwiki
|
|
0
|
87
|
June 1, 2025
|
|
New 0.7.0 Release of Ironclad kernel
|
|
0
|
101
|
May 31, 2025
|
|
A New SPARK Webinar In June from AdaCore
|
|
0
|
66
|
May 31, 2025
|
|
ObjectAda 10.6 Released
|
|
2
|
220
|
May 30, 2025
|
|
How "safe" is Ada?
|
|
3
|
181
|
May 30, 2025
|
|
Help making SPARK-compatible function that mutates arguments and returns variant record
|
|
12
|
234
|
May 30, 2025
|
|
STM32F746 ada-enet
|
|
3
|
182
|
May 29, 2025
|
|
Implementing multiple dispatch
|
|
7
|
118
|
May 29, 2025
|
|
Newbie question: type qualification vs. conversion
|
|
2
|
86
|
May 28, 2025
|
|
Very confusing example in Function Calls (LearnAda)
|
|
25
|
279
|
May 27, 2025
|
|
Procedure ran in Spark?
|
|
6
|
129
|
May 26, 2025
|
|
GNATStudio and run/debug root privileges on Linux
|
|
5
|
142
|
May 26, 2025
|