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…	13	513	November 18, 2025
Welcome to the Ada forum General	9	2154	June 16, 2024
Ada/SPARK, marketing, reach and the abysmal state of things General spark , ada	27	643	December 18, 2025
Why can't you use Predicate_Failure on a vector? General	1	35	December 18, 2025
Ada 2022 'parallel' implementation beta for FSF GCC/GNAT Releases gnat , ada	3	164	December 17, 2025
Just seen this on LI General	0	77	December 17, 2025
Embedded. Fail to write to register General embedded	11	132	December 17, 2025
IANA Timezone Datetime Manipulation Library for Ada 2022 Releases embedded , gnat , ada , spark , alire	0	37	December 17, 2025
[Charity] Advent of Ada/SPARK 2025 Submissions Advent of Code spark	79	732	December 16, 2025
Ada Developers Workshop @ AEiC 2025 - Paris, June 13th Events	11	518	December 16, 2025
[Alire] Which rp2040 runtime? General	9	90	December 16, 2025
Middle-Ground Learning Resources General linux , embedded , ada	45	330	December 16, 2025
POLL: What are the top three most needed open-source crates for Ada 2022? General spark , embedded , alire , gnat , ada	10	159	December 15, 2025
2025 Day 10: Factory Advent of Code	3	67	December 15, 2025
IANA Timezone Information File Library for Ada 2022 Releases gnat , spark , ada , embedded	2	97	December 14, 2025
What is the state of Ada on Android? General	9	177	December 14, 2025
ANN: Strings edit v3.10 Releases	7	219	December 14, 2025
Use of Alire and aggregate projects General alire , gnat	3	105	December 14, 2025
Using Ada.Text_IO.Put_Line inside Ada function owned by C function? General ada	3	91	December 14, 2025
Functional Programming Library for Ada 2022 Releases	7	253	December 14, 2025
2025 Day 8: Playground Advent of Code spoilers	6	83	December 13, 2025
2025 Day 12: Christmas Tree Farm Advent of Code	0	32	December 12, 2025
2025 Day 11: Reactor Advent of Code spoilers , ada	3	42	December 12, 2025
Alire: Why does a crate's build config not get committed? General	6	69	December 11, 2025
Congratulation on Your 210th Birthday, Lady Ada General	1	57	December 10, 2025
GNAT light runtimes but with exception propagation General spark	8	121	December 10, 2025
2025 Day 9: Movie Theater Advent of Code	4	56	December 10, 2025
[Reminder] The PragmAda Reusable Components General	10	306	December 10, 2025
Hybrid DDD/Clean/Hexagonal library starter for Ada 2022 Releases spark , alire , gnat , ada , embedded	1	52	December 10, 2025
Starter Application with Hybrid DDD/Clean/Hexagonal Architecture Releases alire , linux , gnat , ada	1	51	December 10, 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…