|
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
|
|
AEiC 2025 - Ada-Europe conference - early registration deadline imminent
|
|
0
|
43
|
May 24, 2025
|
|
Ada's current status
|
|
4
|
212
|
May 23, 2025
|
|
Ada Continues To Climb In May TIOBE Index
|
|
15
|
388
|
May 22, 2025
|
|
Ada Developers: How Do You Find Opportunities?
|
|
8
|
288
|
May 21, 2025
|
|
CoAP-SPARK 0.9.0 released
|
|
2
|
87
|
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
|
|
Interesting bug. Not sure if it makes sense to report (practically)
|
|
6
|
95
|
May 19, 2025
|
|
Discussions about open source Ada compilers
|
|
45
|
621
|
May 19, 2025
|
|
Books by Prof. Burns and Prof. Wellings
|
|
5
|
145
|
May 18, 2025
|
|
Converting an integer value to Universal_Integer
|
|
6
|
76
|
May 17, 2025
|
|
How to Program a Canvas (Scrollbars, Zoom, Scrolled Window, Scale, ...)
|
|
0
|
73
|
May 17, 2025
|
|
What is the largest Positive number supported by Simple Components and PragmArc?
|
|
3
|
61
|
May 17, 2025
|
|
Alire: how to find the spec files of imported libraries
|
|
12
|
253
|
May 16, 2025
|
|
Announce: AdaStudio-2025.2 release 02/04/2025 free edition
|
|
1
|
179
|
May 15, 2025
|
|
Looking for some historical information
|
|
0
|
73
|
May 15, 2025
|
|
Alire insists on downloading toolchains: toolchain.dir set, toolchains already present
|
|
4
|
171
|
May 13, 2025
|
|
AWS.Client security advisory
|
|
7
|
211
|
May 13, 2025
|
|
AEiC 2025 - Ada-Europe conference - Call for Participation
|
|
0
|
49
|
May 12, 2025
|
|
Stopping and starting tasks in Ravenscar
|
|
6
|
155
|
May 12, 2025
|
|
[GSoC & Ada] Working on open source Ada projects and getting paid?
|
|
6
|
292
|
May 11, 2025
|
|
[ANN] Ada Developers Workshop @ AEiC, speakers, topics and price
|
|
4
|
113
|
May 11, 2025
|
|
Ubuntu: not GNU anymore. An opportunity for Ada/SPARK?
|
|
92
|
757
|
May 8, 2025
|