| 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… |
|
68 | 517 | December 9, 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 | 491 | November 18, 2025 |
| Welcome to the Ada forum |
|
9 | 2139 | June 16, 2024 |
| GNAT light runtimes but with exception propagation |
|
1 | 31 | December 9, 2025 |
| 2025 Day 8: Playground |
|
5 | 33 | December 9, 2025 |
| 2025 Day 3: Lobby |
|
4 | 95 | December 9, 2025 |
| Ada/SPARK, marketing, reach and the abysmal state of things |
|
12 | 226 | December 9, 2025 |
| Do you use Artificial Intelligence for Ada coding? |
|
5 | 61 | December 9, 2025 |
| ANN: Strings edit v3.10 |
|
3 | 142 | December 9, 2025 |
| Basic alire autocompletion script |
|
2 | 59 | December 9, 2025 |
| 2025 Day 2: Gift Shop |
|
6 | 148 | December 8, 2025 |
| Ada on the PYPL index |
|
19 | 1337 | December 8, 2025 |
| IANA Timezone Information File Library for Ada 2022 |
|
1 | 50 | December 8, 2025 |
| Functional Programming Library for Ada 2022 |
|
6 | 183 | December 8, 2025 |
| Use of Ada in HW verification: a new opportunity to save the world |
|
45 | 810 | December 8, 2025 |
| Comparing the development costs and other benefits of Ada or SPARK vs other languages |
|
25 | 1535 | December 8, 2025 |
| 2025 Day 7: Laboratories |
|
4 | 56 | December 7, 2025 |
| -gnatRh flag failing |
|
1 | 62 | December 7, 2025 |
| Searching a good Embedded Development Setup |
|
6 | 224 | December 7, 2025 |
| [NEWS] Airbus A320 software update |
|
10 | 310 | December 7, 2025 |
| 2025 Day 6: Trash Compactor |
|
6 | 66 | December 7, 2025 |
| 2025 Day 5: Cafeteria |
|
14 | 107 | December 7, 2025 |
| I filed a gnat build bug on gentoo |
|
0 | 52 | December 6, 2025 |
| Anybody tried OpenAI-API from Ada? |
|
4 | 168 | December 6, 2025 |
| Google Summer of Code timeline for 2026 has been published |
|
3 | 103 | December 5, 2025 |
| [ANN] Looking for volunteers for an Ada funding committee |
|
9 | 375 | December 5, 2025 |
| 2025 Day 4: Printing Department |
|
2 | 78 | December 5, 2025 |
| ANN: Simple Components v4.77 |
|
0 | 48 | December 5, 2025 |
| How does async/concurrency work in ADA compared to other languages? |
|
14 | 440 | December 5, 2025 |
| Laurie Wired Video |
|
4 | 152 | December 4, 2025 |