Ada Forum

Topic	Replies	Views	Activity
[ANN] Looking for volunteers for an Ada funding committee General ada , funding , user-society Dear community, as we have been hinting in the Ada Monthly Meetup, we are creating (a hopefully lasting) funding system for Ada projects and improvements to the wider ecosystem. This is being done within the Ada User So…	2	172	November 22, 2025
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…	13	436	November 18, 2025
Welcome to the Ada forum General	9	2115	June 16, 2024
Basic Question: Interfacing With C Arrays, Somewhat Tangental General ada	0	7	November 23, 2025
When using Alire to build a crate, how to pass parameters to pre build stages General	2	86	November 22, 2025
Rust took out cloudflare General	50	330	November 22, 2025
Ada Monthly Meetup November 2025 Events meetup	12	381	November 22, 2025
FOSDEM 2026, Call for Participation Events	16	503	November 21, 2025
AEiC 2026 - Ada-Europe conference - 2nd Call for Contributions Events	0	45	November 20, 2025
LLM generated code and utf-8 attacks General	12	145	November 20, 2025
Is there interest in prebuilt binaries for the gnat-llvm? General gnat , ada	6	216	November 19, 2025
People might want to watch this General	2	144	November 17, 2025
Zed Ada Language v0.4.0 Release Releases gprbuild , ada	1	138	November 17, 2025
Using SPARK (gnatprove) with preconditions General spark	1	68	November 17, 2025
Swiss Ada Event 2025 - presentations Events	0	193	November 16, 2025
Warning: pragma Overflow_Mode in code is ignored General spark	2	104	November 16, 2025
What's the best way to acheive this with alire? General	2	90	November 15, 2025
TZif v1.0.0: Finally! IANA Timezone Database Parser and Query Engine for Ada 2022! Releases alire , linux , gnat , ada , embedded	3	119	November 15, 2025
(ARTICLE) Ada: Should developers revisit the veteran programming language? General	0	121	November 14, 2025
Aspect Dimenision_System with a single dimension General gnat , ada	10	182	November 14, 2025
Dynamic Sorting Algorithm (like Insertion Sort, but without knowing the number of elements)? General	1	87	November 13, 2025
Use of Ada in HW verification: a new opportunity to save the world General	17	413	November 13, 2025
More Ada Jobs (Nov2025) General job	3	380	November 11, 2025
Parallel not found General	8	152	November 11, 2025
Array of tasks and using its index as discriminant General	17	224	November 9, 2025
Plans for AOC 2025? Advent of Code	4	268	November 9, 2025
Comparing the development costs and other benefits of Ada or SPARK vs other languages General ada , spark	8	1176	November 8, 2025
Polyorb End of Life General	10	295	November 7, 2025
YouTube video on trusting software General	2	124	November 7, 2025
Emacs mode, alire, and assorted new-user difficulties General alire	7	148	November 7, 2025

[ANN] Looking for volunteers for an Ada funding committee

ada , funding , user-society

Dear community, as we have been hinting in the Ada Monthly Meetup, we are creating (a hopefully lasting) funding system for Ada projects and improvements to the wider ecosystem. This is being done within the Ada User So…

2

172

November 22, 2025

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…