| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
|
[Charity] Advent of Ada/SPARK 2025 Submissions
Hello here, On Monday, AdaCore will announce a new edition of the Advent of Ada/SPARK charity event. For each person completing one of the Advent of Code challenges using the Ada programming language, AdaCore will donat… |
|
57 | 443 | December 7, 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… |
|
13 | 488 | November 18, 2025 |
| Welcome to the Ada forum |
|
9 | 2137 | June 16, 2024 |
| Comparing the development costs and other benefits of Ada or SPARK vs other languages |
|
25 | 1491 | December 8, 2025 |
| Functional Programming Library for Ada 2022 |
|
6 | 117 | December 8, 2025 |
| 2025 Day 7: Laboratories |
|
4 | 27 | December 7, 2025 |
| -gnatRh flag failing |
|
1 | 27 | December 7, 2025 |
| Use of Ada in HW verification: a new opportunity to save the world |
|
44 | 779 | December 7, 2025 |
| Searching a good Embedded Development Setup |
|
6 | 202 | December 7, 2025 |
| [NEWS] Airbus A320 software update |
|
10 | 289 | December 7, 2025 |
| 2025 Day 6: Trash Compactor |
|
7 | 55 | December 7, 2025 |
| 2025 Day 5: Cafeteria |
|
14 | 93 | December 7, 2025 |
| Ada/SPARK, marketing, reach and the abysmal state of things |
|
5 | 66 | December 7, 2025 |
| I filed a gnat build bug on gentoo |
|
0 | 38 | December 6, 2025 |
| Anybody tried OpenAI-API from Ada? |
|
4 | 161 | December 6, 2025 |
| ANN: Strings edit v3.10 |
|
1 | 81 | December 6, 2025 |
| Google Summer of Code timeline for 2026 has been published |
|
3 | 100 | December 5, 2025 |
| [ANN] Looking for volunteers for an Ada funding committee |
|
9 | 369 | December 5, 2025 |
| 2025 Day 4: Printing Department |
|
2 | 76 | December 5, 2025 |
| ANN: Simple Components v4.77 |
|
0 | 43 | December 5, 2025 |
| How does async/concurrency work in ADA compared to other languages? |
|
14 | 435 | December 5, 2025 |
| Laurie Wired Video |
|
4 | 136 | December 4, 2025 |
| 2025 Day 3: Lobby |
|
3 | 83 | December 4, 2025 |
| 2025 Day 2: Gift Shop |
|
5 | 119 | December 4, 2025 |
| 2025 Day 1: Secret Entrance |
|
10 | 223 | December 4, 2025 |
| How could this code raise a Constraint_Error at runtime? |
|
16 | 206 | December 4, 2025 |
| Fixed Point Numbers |
|
26 | 429 | December 3, 2025 |
| LLM generated code and utf-8 attacks |
|
13 | 218 | December 3, 2025 |
| Interfacing Git |
|
6 | 134 | December 3, 2025 |
| CoAP-SPARK version 0.10.0 has been published |
|
0 | 60 | December 2, 2025 |