|
Rust took out cloudflare
|
|
51
|
527
|
November 23, 2025
|
|
When using Alire to build a crate, how to pass parameters to pre build stages
|
|
2
|
110
|
November 22, 2025
|
|
Using SPARK (gnatprove) with preconditions
|
|
1
|
85
|
November 17, 2025
|
|
Warning: pragma Overflow_Mode in code is ignored
|
|
2
|
115
|
November 16, 2025
|
|
What's the best way to acheive this with alire?
|
|
2
|
103
|
November 15, 2025
|
|
(ARTICLE) Ada: Should developers revisit the veteran programming language?
|
|
0
|
147
|
November 14, 2025
|
|
Aspect Dimenision_System with a single dimension
|
|
10
|
190
|
November 14, 2025
|
|
Dynamic Sorting Algorithm (like Insertion Sort, but without knowing the number of elements)?
|
|
1
|
93
|
November 13, 2025
|
|
Parallel not found
|
|
8
|
167
|
November 11, 2025
|
|
Array of tasks and using its index as discriminant
|
|
17
|
239
|
November 9, 2025
|
|
Polyorb End of Life
|
|
10
|
337
|
November 7, 2025
|
|
YouTube video on trusting software
|
|
2
|
134
|
November 7, 2025
|
|
Emacs mode, alire, and assorted new-user difficulties
|
|
7
|
161
|
November 7, 2025
|
|
Alire is quite impressive
|
|
0
|
113
|
November 7, 2025
|
|
Is there a way to have a reference to discriminant-dependent components?
|
|
9
|
178
|
November 7, 2025
|
|
Debian, Wayland and Gnat Studio
|
|
8
|
175
|
November 6, 2025
|
|
Runtime for RISC-V softcore
|
|
5
|
194
|
November 5, 2025
|
|
Notes on building libadalang_tools with alire
|
|
1
|
63
|
November 4, 2025
|
|
CONSTRAINT_ERROR on Enqueue operartion
|
|
8
|
175
|
November 1, 2025
|
|
AWS End Of Life
|
|
16
|
823
|
October 30, 2025
|
|
Updated list of Ada compilers
|
|
17
|
1599
|
October 30, 2025
|
|
Generating AUNIT documentation fails: pdflatex: no such file or directory
|
|
9
|
166
|
October 27, 2025
|
|
Install Gtkada 2025 windows
|
|
18
|
412
|
October 27, 2025
|
|
(EXPERIMENT) Thinking about making an Ada/SPARK Compiler... with maybe some new stuff?
|
|
27
|
428
|
October 26, 2025
|
|
Plan for next version of International Ada Standard
|
|
67
|
1053
|
October 25, 2025
|
|
NVIDIA publishes SPARK Process to meet ISO-26262 requirements
|
|
3
|
426
|
October 22, 2025
|
|
A Throway Protocol Server in Ada
|
|
1
|
178
|
October 22, 2025
|
|
Cannot build on Fedora 41 with Alire
|
|
2
|
175
|
October 20, 2025
|
|
Alire on Apple-Silicon
|
|
4
|
182
|
October 20, 2025
|
|
Automatic styling of Ada code?
|
|
10
|
347
|
October 18, 2025
|