|
[ANN] adacovex v1.63.0: Better perf, cross platform support
|
|
0
|
53
|
October 22, 2026
|
|
Ada Talk at Carolina Code Conference
|
|
7
|
319
|
October 19, 2026
|
|
[ANN]: adacovex 1.58.0: SPARK proof coverage metric
|
|
10
|
250
|
October 11, 2026
|
|
Septum version 1.0.0
|
|
1
|
115
|
October 1, 2026
|
|
Fine-tuning 8b AI model on Ada/SPARK
|
|
12
|
361
|
September 28, 2026
|
|
AdaCL.Serial is on Alire — and a call for SPARK eyes
|
|
9
|
321
|
September 24, 2026
|
|
Alire pull requests — again
|
|
20
|
405
|
September 24, 2026
|
|
[ANN]: adacovex 1.40.0: Full fledged documentation site and other niceties
|
|
3
|
190
|
September 13, 2026
|
|
Migrating ARM cross toolchains to the latest version
|
|
5
|
151
|
September 9, 2026
|
|
Tutorial for Alire
|
|
10
|
212
|
September 2, 2026
|
|
ANN: Configurable bareboard runtimes v16.0.0
|
|
0
|
81
|
September 1, 2026
|
|
[ANN] adacovex 1.14.0: Multiple Compliance Standards, plenty of QOL updates
|
|
2
|
168
|
August 29, 2026
|
|
Alire with microbit v1
|
|
6
|
186
|
August 24, 2026
|
|
Ada SPARK Office Hours - 2026-08-14
|
|
5
|
273
|
August 20, 2026
|
|
Startup-gen 26.0.0 Build Failure
|
|
6
|
140
|
August 19, 2026
|
|
Ada SPARK Office Hours - 2026-07-31
|
|
8
|
316
|
August 11, 2026
|
|
Problem with Publishing assistant: step 11
|
|
2
|
164
|
August 8, 2026
|
|
In Alire, how to use SPARKlib without all assertions enabled?
|
|
5
|
206
|
July 29, 2026
|
|
[HOWTO] Easily add unit tests to an Alire crate
|
|
12
|
355
|
July 15, 2026
|
|
New Tutorial: How to Set Up Unit Tests and SPARK Proofs
|
|
0
|
101
|
July 14, 2026
|
|
Packaging and Examples for the Ada 2022 Parallel features implementation
|
|
0
|
148
|
June 28, 2026
|
|
An embedded ecosystem for beginners
|
|
8
|
473
|
June 22, 2026
|
|
Crdt version 1.1.0
|
|
1
|
180
|
June 11, 2026
|
|
Installing libadalang_tools via alire in Void Linux musl fails with missing dependency libgmp
|
|
3
|
125
|
June 8, 2026
|
|
Pi-Ada-Tutorial: Crates compiling on Linux/macOS but failing on Windows CI
|
|
13
|
303
|
May 24, 2026
|
|
Using GtkAda with alire
|
|
14
|
802
|
May 15, 2026
|
|
ANN: Configurable bareboard runtimes v15.4.0
|
|
0
|
104
|
May 11, 2026
|
|
Getting Started with ncurses ada
|
|
8
|
613
|
April 24, 2026
|
|
Chapter 5 – RGB LED with PWM + strange hang on delay until with embedded_rp2040 (help wanted)
|
|
2
|
151
|
April 15, 2026
|
|
More power to GPRbuild
|
|
26
|
516
|
April 2, 2026
|