Ada Forum

Topic	Replies	Views	Activity
Ada Monthly Meetup November 2025 Events meetup Hello everybody! I would like to announce the November (2025) Ada Monthly Meetup which will be taking place on the 8th of November at 15:00 UTC time (16:00 CET). Attention! As daylight savings will kick into action shor…	1	103	October 27, 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…	1	281	July 10, 2025
Welcome to the Ada forum General	9	2080	June 16, 2024
Notes on building libadalang_tools with alire General	1	12	November 4, 2025
Runtime for RISC-V softcore General runtime , embedded , gnat , alire	2	81	November 4, 2025
Polyorb End of Life General	8	155	November 4, 2025
[GSoC & Ada] Working on open source Ada projects and getting paid? Events gsoc	9	454	November 4, 2025
More Ada Jobs (Nov2025) General job	1	115	November 4, 2025
Array of tasks and using its index as discriminant General	2	57	November 4, 2025
Use of Ada in HW verification: a new opportunity to save the world General	9	171	November 3, 2025
Plans for AOC 2025? Advent of Code	2	123	November 2, 2025
ANN: Bareboard tasking runtimes for the RP2350 (Raspberry Pi Pico 2) Releases runtime , embedded	14	209	November 1, 2025
CONSTRAINT_ERROR on Enqueue operartion General	8	153	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	142	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	78	October 30, 2025
AWS End Of Life General	16	629	October 30, 2025
Updated list of Ada compilers General	17	1362	October 30, 2025
FOSDEM 2026, Call for Participation Events	7	280	October 28, 2025
Ada 2022 Hybrid Reference Architecture Releases ada , gnat , alire	2	93	October 29, 2025
Generating AUNIT documentation fails: pdflatex: no such file or directory General aunit	9	116	October 27, 2025
Install Gtkada 2025 windows General	18	355	October 27, 2025
(EXPERIMENT) Thinking about making an Ada/SPARK Compiler... with maybe some new stuff? General ada , spark	27	341	October 26, 2025
Plan for next version of International Ada Standard General	67	939	October 25, 2025
NVIDIA publishes SPARK Process to meet ISO-26262 requirements General spark	3	379	October 22, 2025
Req: Add compiler-compilers to projects section Site Feedback	2	140	October 22, 2025
A Throway Protocol Server in Ada General ada	1	158	October 22, 2025
Cannot build on Fedora 41 with Alire General alire	2	153	October 20, 2025
Alire on Apple-Silicon General macos , alire , apple-silicone	4	142	October 20, 2025
Automatic styling of Ada code? General	10	290	October 18, 2025
How to use gnuplot from an Ada program? General	6	147	October 17, 2025

Ada Monthly Meetup November 2025

meetup

Hello everybody! I would like to announce the November (2025) Ada Monthly Meetup which will be taking place on the 8th of November at 15:00 UTC time (16:00 CET). Attention! As daylight savings will kick into action shor…

1

103

October 27, 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…