|
SPARK Verified Postfix Expression Calculator
|
|
8
|
358
|
January 21, 2026
|
|
[Alire] Which rp2040 runtime?
|
|
11
|
211
|
January 20, 2026
|
|
ANN: Arch linux ~ Breakage of gnatstudio package and new alternative
|
|
7
|
100
|
January 20, 2026
|
|
Setting up database as complete beginner
|
|
20
|
171
|
January 20, 2026
|
|
Alire GTKAda build fails to run due to duplicate LC_RPATH error
|
|
3
|
123
|
January 18, 2026
|
|
Ada/SPARK, marketing, reach and the abysmal state of things
|
|
22
|
971
|
January 18, 2026
|
|
Can someone test this short code (compiler error?)
|
|
6
|
129
|
January 17, 2026
|
|
Looking for HTML / CSS Ada decoder / encoder
|
|
9
|
165
|
January 15, 2026
|
|
Memory mapped record object issue
|
|
14
|
214
|
January 15, 2026
|
|
Writing a Forth-Like
|
|
0
|
109
|
January 15, 2026
|
|
Feedback? A WIP "fun" presentation of Ada
|
|
18
|
292
|
January 11, 2026
|
|
Starting Ada - It has to work
|
|
56
|
2932
|
January 10, 2026
|
|
Division by Zero on Float types
|
|
3
|
171
|
January 9, 2026
|
|
Just a thought: Ada should be perfect for vibe coding
|
|
10
|
240
|
January 8, 2026
|
|
GNAT toolchain now broken after OS upgrade to MacOS 26 (Tahoe), arm64
|
|
28
|
886
|
January 7, 2026
|
|
Installed gnatformat via alire on Windows and it does... nothing
|
|
19
|
204
|
January 7, 2026
|
|
Is there anything for Alire to take from this?
|
|
1
|
101
|
January 6, 2026
|
|
What is the PATH for the ada_language_server binary in FreeBSD?
|
|
5
|
116
|
January 5, 2026
|
|
Ada on the PYPL index
|
|
22
|
1652
|
January 5, 2026
|
|
Ada User Society Yearly (2025) Bulletin
|
|
4
|
189
|
January 4, 2026
|
|
UTF-8, Identifiers and dealing with Strings in Ada
|
|
95
|
532
|
January 3, 2026
|
|
Ubuntu: not GNU anymore. An opportunity for Ada/SPARK?
|
|
104
|
1503
|
January 1, 2026
|
|
Error message: missing "with Ada.Strings.Equal_Case_Insensitive;"?
|
|
3
|
107
|
December 31, 2025
|
|
2025 Crate of the Year Awards!
|
|
18
|
719
|
December 31, 2025
|
|
VSS and other issues
|
|
2
|
98
|
December 29, 2025
|
|
[Help] how to configure develop environment with alire?
|
|
5
|
220
|
December 29, 2025
|
|
Getting up to speed with Ada changes chronologically
|
|
4
|
164
|
December 29, 2025
|
|
Cheatsheet: GNAT Formatting Defaults
|
|
2
|
136
|
December 27, 2025
|
|
[Vaton] How to add support for string to fixed-point with SPARK proof?
|
|
0
|
59
|
December 26, 2025
|
|
Is the default export/import aspect C? Is C++ valid too?
|
|
2
|
96
|
December 26, 2025
|