Welcome to the Ada forum
|
|
9
|
1903
|
June 16, 2024
|
Is there an Ada badge like the Alire one?
|
|
41
|
578
|
June 14, 2025
|
Don't forget to fill out the 2025 Stack Overflow Survey! (closing soon?)
|
|
0
|
57
|
June 13, 2025
|
Anyone interested in resurrecting an open source strict Ada 83 (mil-std 1815A) compiler?
|
|
59
|
1296
|
June 12, 2025
|
SPARK Verified Postfix Expression Calculator
|
|
3
|
114
|
June 12, 2025
|
Specifying major order for packed matrix
|
|
11
|
188
|
June 11, 2025
|
Simon J Wright - RIP
|
|
27
|
994
|
June 10, 2025
|
Ada development einvironment on Windows
|
|
5
|
107
|
June 10, 2025
|
Ada Continues to Climb in June TIOBE Index and PYPL
|
|
0
|
3387
|
June 10, 2025
|
Ada Bootstrap compiler funding thanks to nlnet!
|
|
47
|
1106
|
June 8, 2025
|
VSS.JSON vs GNATCOLL.JSON
|
|
5
|
704
|
June 8, 2025
|
[Reminder] The PragmAda Reusable Components
|
|
9
|
201
|
June 6, 2025
|
Article: NVIDIA drives Ada and SPARK into driverless cars
|
|
0
|
230
|
June 6, 2025
|
NVIDIA publishes SPARK Process to meet ISO-26262 requirements
|
|
1
|
121
|
June 4, 2025
|
Implementation of generic units in Ada 83
|
|
32
|
539
|
June 4, 2025
|
Getting Started with ncurses ada
|
|
7
|
150
|
June 4, 2025
|
How to locate waste of CPU?
|
|
16
|
211
|
June 4, 2025
|
Generics and compilation time
|
|
14
|
188
|
June 4, 2025
|
Assigning to Array Index Doesn't Guarantee Equality Check in Spark
|
|
5
|
109
|
June 3, 2025
|
Choice_simple_expression and tested_simple_expression
|
|
3
|
56
|
June 1, 2025
|
I added a couple of AdaCore repos to Deepwiki
|
|
0
|
74
|
June 1, 2025
|
How "safe" is Ada?
|
|
3
|
166
|
May 30, 2025
|
Help making SPARK-compatible function that mutates arguments and returns variant record
|
|
12
|
219
|
May 30, 2025
|
STM32F746 ada-enet
|
|
3
|
176
|
May 29, 2025
|
Implementing multiple dispatch
|
|
7
|
117
|
May 29, 2025
|
Newbie question: type qualification vs. conversion
|
|
2
|
81
|
May 28, 2025
|
Very confusing example in Function Calls (LearnAda)
|
|
25
|
250
|
May 27, 2025
|
Procedure ran in Spark?
|
|
6
|
129
|
May 26, 2025
|
GNATStudio and run/debug root privileges on Linux
|
|
5
|
141
|
May 26, 2025
|
`alr with wolfssl` does not work?
|
|
2
|
74
|
May 26, 2025
|