|
AdaCore libraries 26.0 information
|
|
2
|
95
|
January 21, 2026
|
|
Ada/SPARK, marketing, reach and the abysmal state of things
|
|
22
|
933
|
January 18, 2026
|
|
Request for an explanation: secondary stack
|
|
2
|
119
|
January 16, 2026
|
|
Ada 2022 'parallel' implementation beta for FSF GCC/GNAT
|
|
10
|
505
|
January 14, 2026
|
|
Fixed Point Numbers
|
|
28
|
617
|
January 12, 2026
|
|
Feedback? A WIP "fun" presentation of Ada
|
|
18
|
283
|
January 11, 2026
|
|
Division by Zero on Float types
|
|
3
|
167
|
January 9, 2026
|
|
Is there interest in prebuilt binaries for the gnat-llvm?
|
|
25
|
426
|
January 4, 2026
|
|
UTF-8, Identifiers and dealing with Strings in Ada
|
|
95
|
509
|
January 3, 2026
|
|
Ubuntu: not GNU anymore. An opportunity for Ada/SPARK?
|
|
104
|
1429
|
January 1, 2026
|
|
[Help] how to configure develop environment with alire?
|
|
5
|
209
|
December 29, 2025
|
|
Cheatsheet: GNAT Formatting Defaults
|
|
2
|
128
|
December 27, 2025
|
|
ANN: AOR JSONA - Typed extraction from JSON payloads via path-based, indexed navigation
|
|
3
|
123
|
December 26, 2025
|
|
[ANN] Looking for volunteers for an Ada funding committee
|
|
12
|
527
|
December 22, 2025
|
|
Advice on operator overloading
|
|
9
|
158
|
December 20, 2025
|
|
Middle-Ground Learning Resources
|
|
48
|
436
|
December 18, 2025
|
|
IANA Timezone Datetime Manipulation Library for Ada 2022
|
|
0
|
47
|
December 17, 2025
|
|
POLL: What are the top three most needed open-source crates for Ada 2022?
|
|
10
|
197
|
December 15, 2025
|
|
IANA Timezone Information File Library for Ada 2022
|
|
2
|
105
|
December 14, 2025
|
|
Using Ada.Text_IO.Put_Line inside Ada function owned by C function?
|
|
3
|
98
|
December 14, 2025
|
|
2025 Day 11: Reactor
|
|
3
|
61
|
December 12, 2025
|
|
Hybrid DDD/Clean/Hexagonal library starter for Ada 2022
|
|
1
|
62
|
December 10, 2025
|
|
Starter Application with Hybrid DDD/Clean/Hexagonal Architecture
|
|
1
|
61
|
December 10, 2025
|
|
Comparing the development costs and other benefits of Ada or SPARK vs other languages
|
|
25
|
1660
|
December 8, 2025
|
|
2025 Day 7: Laboratories
|
|
4
|
89
|
December 7, 2025
|
|
Searching a good Embedded Development Setup
|
|
6
|
260
|
December 7, 2025
|
|
2025 Day 4: Printing Department
|
|
2
|
103
|
December 5, 2025
|
|
Is SPARK in ADA a theorem prover?
|
|
12
|
287
|
December 2, 2025
|
|
Enterprise Starter Application with Hybrid DDD/Clean/Hexagonal Architecture
|
|
1
|
72
|
November 29, 2025
|
|
Basic Question: Interfacing With C Arrays, Somewhat Tangental
|
|
3
|
169
|
November 24, 2025
|