Ada Forum

Topic	Replies	Views	Activity
2025 Crate of the Year Awards! General 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…	6	331	November 14, 2025
Welcome to the Ada forum General	9	2094	June 16, 2024
(ARTICLE) Ada: Should developers revisit the veteran programming language? General	0	4	November 14, 2025
TZif v1.0.0: Finally! IANA Timezone Database Parser and Query Engine for Ada 2022! Releases alire , linux , gnat , ada , embedded	1	29	November 14, 2025
Aspect Dimenision_System with a single dimension General gnat , ada	10	145	November 14, 2025
Dynamic Sorting Algorithm (like Insertion Sort, but without knowing the number of elements)? General	1	69	November 13, 2025
Use of Ada in HW verification: a new opportunity to save the world General	17	383	November 13, 2025
Is there interest in prebuilt binaries for the gnat-llvm? General gnat , ada	5	147	November 12, 2025
More Ada Jobs (Nov2025) General job	3	348	November 11, 2025
Parallel not found General	8	134	November 11, 2025
FOSDEM 2026, Call for Participation Events	8	333	November 11, 2025
Ada Monthly Meetup November 2025 Events meetup	10	300	November 10, 2025
Array of tasks and using its index as discriminant General	17	208	November 9, 2025
Plans for AOC 2025? Advent of Code	4	244	November 9, 2025
Comparing the development costs and other benefits of Ada or SPARK vs other languages General ada , spark	8	1150	November 8, 2025
Polyorb End of Life General	10	273	November 7, 2025
YouTube video on trusting software General	2	114	November 7, 2025
Emacs mode, alire, and assorted new-user difficulties General alire	7	132	November 7, 2025
Alire is quite impressive General	0	87	November 7, 2025
Is there a way to have a reference to discriminant-dependent components? General	9	158	November 7, 2025
Debian, Wayland and Gnat Studio General	8	141	November 6, 2025
Runtime for RISC-V softcore General runtime , embedded , gnat , alire	5	161	November 5, 2025
[GSoC & Ada] Working on open source Ada projects and getting paid? Events gsoc	10	561	November 4, 2025
Notes on building libadalang_tools with alire General	1	53	November 4, 2025
ANN: Bareboard tasking runtimes for the RP2350 (Raspberry Pi Pico 2) Releases runtime , embedded	14	229	November 1, 2025
CONSTRAINT_ERROR on Enqueue operartion General	8	164	November 1, 2025
Functional Error Handling v1.0.0: Result<T,E>, Option<T>, and Either<L,R>, Try_To_Result Releases ada , alire	3	174	October 31, 2025
[ANN] aarch64_bare_metal_ada: A library crate for developing bare-metal embedded software in Ada for 64-bit ARM Platforms Releases bare-board , spark	2	89	October 30, 2025
AWS End Of Life General	16	679	October 30, 2025
Updated list of Ada compilers General	17	1427	October 30, 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…