General

Topic	Replies	Views	Activity
2025 Crate of the Year Awards! Hello here, AdaCore just announced the 4th edition of the Crate of the Year Awards . No need to register, winning crates will be selected from all the crates in the Alire ecosystem. I am opening this thread as a place f…	1	294	July 10, 2025
Welcome to the Ada forum	9	2092	June 16, 2024
Dynamic Sorting Algorithm (like Insertion Sort, but without knowing the number of elements)?	0	17	November 13, 2025
Use of Ada in HW verification: a new opportunity to save the world	17	352	November 13, 2025
Is there interest in prebuilt binaries for the gnat-llvm? gnat , ada	5	134	November 12, 2025
Aspect Dimenision_System with a single dimension gnat , ada	7	83	November 12, 2025
More Ada Jobs (Nov2025) job	3	331	November 11, 2025
Parallel not found	8	118	November 11, 2025
Array of tasks and using its index as discriminant	17	204	November 9, 2025
Comparing the development costs and other benefits of Ada or SPARK vs other languages ada , spark	8	1145	November 8, 2025
Polyorb End of Life	10	266	November 7, 2025
YouTube video on trusting software	2	108	November 7, 2025
Emacs mode, alire, and assorted new-user difficulties alire	7	127	November 7, 2025
Alire is quite impressive	0	84	November 7, 2025
Is there a way to have a reference to discriminant-dependent components?	9	154	November 7, 2025
Debian, Wayland and Gnat Studio	8	137	November 6, 2025
Runtime for RISC-V softcore runtime , embedded , gnat , alire	5	160	November 5, 2025
Notes on building libadalang_tools with alire	1	52	November 4, 2025
CONSTRAINT_ERROR on Enqueue operartion	8	164	November 1, 2025
AWS End Of Life	16	675	October 30, 2025
Updated list of Ada compilers	17	1418	October 30, 2025
Generating AUNIT documentation fails: pdflatex: no such file or directory aunit	9	129	October 27, 2025
Install Gtkada 2025 windows	18	364	October 27, 2025
(EXPERIMENT) Thinking about making an Ada/SPARK Compiler... with maybe some new stuff? ada , spark	27	377	October 26, 2025
Plan for next version of International Ada Standard	67	961	October 25, 2025
NVIDIA publishes SPARK Process to meet ISO-26262 requirements spark	3	400	October 22, 2025
A Throway Protocol Server in Ada ada	1	164	October 22, 2025
Cannot build on Fedora 41 with Alire alire	2	161	October 20, 2025
Alire on Apple-Silicon macos , alire , apple-silicone	4	150	October 20, 2025
Automatic styling of Ada code?	10	315	October 18, 2025

2025 Crate of the Year Awards!

Hello here, AdaCore just announced the 4th edition of the Crate of the Year Awards . No need to register, winning crates will be selected from all the crates in the Alire ecosystem. I am opening this thread as a place f…