|
Comparing the development costs and other benefits of Ada or SPARK vs other languages
|
|
25
|
1496
|
December 8, 2025
|
|
2025 Day 7: Laboratories
|
|
4
|
29
|
December 7, 2025
|
|
Searching a good Embedded Development Setup
|
|
6
|
203
|
December 7, 2025
|
|
Ada/SPARK, marketing, reach and the abysmal state of things
|
|
5
|
69
|
December 7, 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
|
|
Fixed Point Numbers
|
|
26
|
429
|
December 3, 2025
|
|
Is SPARK in ADA a theorem prover?
|
|
12
|
227
|
December 2, 2025
|
|
Enterprise Starter Application with Hybrid DDD/Clean/Hexagonal Architecture
|
|
1
|
58
|
November 29, 2025
|
|
Is there interest in prebuilt binaries for the gnat-llvm?
|
|
8
|
276
|
November 29, 2025
|
|
Basic Question: Interfacing With C Arrays, Somewhat Tangental
|
|
3
|
150
|
November 24, 2025
|
|
Zed Ada Language v0.4.0 Release
|
|
1
|
169
|
November 17, 2025
|
|
TZif v1.0.0: Finally! IANA Timezone Database Parser and Query Engine for Ada 2022!
|
|
3
|
126
|
November 15, 2025
|
|
Aspect Dimenision_System with a single dimension
|
|
10
|
189
|
November 14, 2025
|
|
Functional Error Handling v1.0.0: Result<T,E>, Option<T>, and Either<L,R>, Try_To_Result
|
|
3
|
193
|
October 31, 2025
|
|
Ada 2022 Hybrid Reference Architecture
|
|
2
|
114
|
October 29, 2025
|
|
(EXPERIMENT) Thinking about making an Ada/SPARK Compiler... with maybe some new stuff?
|
|
27
|
401
|
October 26, 2025
|
|
A Throway Protocol Server in Ada
|
|
1
|
173
|
October 22, 2025
|
|
WG9 seeks Editor for "Guide for Use of Ada in High Integrity Systems" (TR 15942 technical report)
|
|
1
|
149
|
October 11, 2025
|
|
Ada in Windows On ARM
|
|
2
|
97
|
October 8, 2025
|
|
Old but cool: Ada mapping to CORBA
|
|
5
|
260
|
October 3, 2025
|
|
GNAT toolchain now broken after OS upgrade to MacOS 15.7.1 (Sequoia), x86
|
|
1
|
96
|
September 30, 2025
|
|
What is the ideal way to configure alire/gprbuild?
|
|
5
|
207
|
September 24, 2025
|
|
GNAT.Sockets.Receive_Socket vs. String'Input (Channel)?
|
|
1
|
106
|
September 12, 2025
|
|
AdaCL 6.3.0 Release Announcement
|
|
0
|
106
|
September 4, 2025
|
|
Hp41cx_tool 1.7.0 Release Announcement
|
|
0
|
54
|
September 6, 2025
|
|
PSA: Cleaning up "The GNU Ada compiler on sourceforge"
|
|
6
|
314
|
September 4, 2025
|
|
Emulating Pointer-To-Member
|
|
12
|
286
|
September 2, 2025
|
|
Simple raycaster in Ada
|
|
0
|
112
|
August 7, 2025
|
|
Ada back in the TIOBE Top 20 (March 2025)
|
|
14
|
853
|
July 31, 2025
|