|
About the Releases category
|
|
0
|
332
|
June 28, 2023
|
|
[ANN] adacovex v1.69.0: WIP compiler-like proof diagnostics
|
|
0
|
51
|
November 13, 2026
|
|
[ANN] safe_elf_parser
|
|
2
|
115
|
November 11, 2026
|
|
ANN: SparForte 3.0.1
|
|
1
|
226
|
November 8, 2026
|
|
[ANN] A console based AdaIDE (pre-Alpha) (Vibe coded with Claude)
|
|
6
|
197
|
November 8, 2026
|
|
Gnoga series on Alire
|
|
9
|
341
|
November 7, 2026
|
|
SI Units Checked and Unchecked
|
|
7
|
486
|
October 29, 2026
|
|
[ANN] bbt 0.6.0
|
|
0
|
80
|
October 26, 2026
|
|
[ANN] adacovex v1.63.0: Better perf, cross platform support
|
|
0
|
67
|
October 22, 2026
|
|
Win32_Hash_Argon2 password hashing in Spark
|
|
0
|
65
|
October 21, 2026
|
|
Simple ASCII art editor in Ada (town)
|
|
9
|
261
|
October 19, 2026
|
|
Win32_Hash: PBKDF2-HMAC-SHA256 password hashing in SPARK
|
|
0
|
86
|
October 19, 2026
|
|
[ANN]: bbt 0.5.0
|
|
0
|
88
|
October 13, 2026
|
|
[ANN] bbt 0.3.0
|
|
14
|
520
|
October 13, 2026
|
|
Retro game Nu, pogodi!
|
|
3
|
227
|
October 12, 2026
|
|
[ANN]: adacovex 1.58.0: SPARK proof coverage metric
|
|
10
|
290
|
October 11, 2026
|
|
Calculator Scripts 1.8.12 released
|
|
0
|
96
|
October 8, 2026
|
|
[adacl-serial 8.0.1] I pointed GNAT.Serial_Communications at the wrong termios
|
|
2
|
85
|
October 5, 2026
|
|
[ANN] bbt 0.4.1
|
|
0
|
81
|
October 3, 2026
|
|
ANN : Lithophane 1.0.0
|
|
1
|
147
|
October 1, 2026
|
|
Septum version 1.0.0
|
|
1
|
127
|
October 1, 2026
|
|
Excel Writer v.20
|
|
1
|
123
|
September 30, 2026
|
|
AdaCL.Serial is on Alire — and a call for SPARK eyes
|
|
9
|
352
|
September 24, 2026
|
|
Swiss_micros_tools, and a tutorial outside the our bubble
|
|
0
|
100
|
September 22, 2026
|
|
HAC version 0.45
|
|
0
|
136
|
September 22, 2026
|
|
[ANN]: adacovex 1.48.0: Performance improvements, more flags
|
|
0
|
90
|
September 14, 2026
|
|
[ANN]: adacovex 1.40.0: Full fledged documentation site and other niceties
|
|
3
|
202
|
September 13, 2026
|
|
[ANN] AHT an Ada HTTP/1.1 and WebSocket client with TLS via OpenSSL or mbedTLS
|
|
6
|
268
|
September 11, 2026
|
|
Chapter 9 – AD Converter: three ways to read a voltage
|
|
3
|
130
|
September 3, 2026
|
|
ANN: Configurable bareboard runtimes v16.0.0
|
|
0
|
87
|
September 1, 2026
|