| 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… |
|
53 | 411 | 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 | 484 | November 18, 2025 |
| Welcome to the Ada forum |
|
9 | 2137 | June 16, 2024 |
| Functional Programming Library for Ada 2022 |
|
5 | 84 | December 7, 2025 |
| 2025 Day 6: Trash Compactor |
|
4 | 34 | December 7, 2025 |
| I filed a gnat build bug on gentoo |
|
0 | 27 | December 6, 2025 |
| Anybody tried OpenAI-API from Ada? |
|
4 | 152 | December 6, 2025 |
| 2025 Day 5: Cafeteria |
|
13 | 69 | December 6, 2025 |
| Comparing the development costs and other benefits of Ada or SPARK vs other languages |
|
24 | 1475 | December 6, 2025 |
| [NEWS] Airbus A320 software update |
|
7 | 253 | December 6, 2025 |
| ANN: Strings edit v3.10 |
|
1 | 79 | December 6, 2025 |
| Use of Ada in HW verification: a new opportunity to save the world |
|
38 | 746 | December 6, 2025 |
| Google Summer of Code timeline for 2026 has been published |
|
3 | 98 | December 5, 2025 |
| [ANN] Looking for volunteers for an Ada funding committee |
|
9 | 365 | December 5, 2025 |
| 2025 Day 4: Printing Department |
|
2 | 75 | December 5, 2025 |
| ANN: Simple Components v4.77 |
|
0 | 42 | December 5, 2025 |
| How does async/concurrency work in ADA compared to other languages? |
|
14 | 432 | December 5, 2025 |
| Laurie Wired Video |
|
4 | 130 | December 4, 2025 |
| 2025 Day 3: Lobby |
|
3 | 82 | December 4, 2025 |
| 2025 Day 2: Gift Shop |
|
5 | 118 | December 4, 2025 |
| 2025 Day 1: Secret Entrance |
|
10 | 220 | December 4, 2025 |
| How could this code raise a Constraint_Error at runtime? |
|
16 | 205 | December 4, 2025 |
| Fixed Point Numbers |
|
26 | 427 | December 3, 2025 |
| LLM generated code and utf-8 attacks |
|
13 | 218 | December 3, 2025 |
| Interfacing Git |
|
6 | 133 | December 3, 2025 |
| CoAP-SPARK version 0.10.0 has been published |
|
0 | 59 | December 2, 2025 |
| Is SPARK in ADA a theorem prover? |
|
12 | 226 | December 2, 2025 |
| People might want to watch this |
|
10 | 311 | December 2, 2025 |
| Advent of Code 2025 bonus |
|
0 | 73 | December 1, 2025 |
| SPARK: Validate Float Type Implementation |
|
9 | 130 | December 1, 2025 |