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
|
602
|
June 4, 2025
|
Getting Started with ncurses ada
|
|
7
|
191
|
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
|
128
|
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
|
87
|
June 1, 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
|
`alr with wolfssl` does not work?
|
|
2
|
76
|
May 26, 2025
|
Ada's current status
|
|
4
|
211
|
May 23, 2025
|
Ada Continues To Climb In May TIOBE Index
|
|
15
|
388
|
May 22, 2025
|
Ada Developers: How Do You Find Opportunities?
|
|
8
|
287
|
May 21, 2025
|
Ada environment
|
|
13
|
233
|
May 20, 2025
|
Are Spark pre condition results usually warnings?
|
|
7
|
116
|
May 20, 2025
|
Ada 2022 and Docker
|
|
6
|
131
|
May 20, 2025
|
Ravenscar profile/tasking on RP2040
|
|
9
|
490
|
May 19, 2025
|
Where is the embedded_components crate so I can update to HAL 1.0.0?
|
|
2
|
71
|
May 19, 2025
|
Does Ada have a property-based testing framework (à la QuickCheck)?
|
|
4
|
92
|
May 19, 2025
|