QOI (the «Quite OK Image Format» ) has been added to the add it to GID, the «Generic Image Decoder»

GID is free, open-source, available on SourceForge and GitHub.
Read More…

Tags: Image

The objective of UXStrings is Unicode and dynamic length support for
strings in Ada.

Changes from last publication:

• Ada.Strings.UTF_Encoding.Conversions fix is no longer needed with GNAT CE 2021
• A few fix

Read More…

Tags: Strings

GNAT (FSF) ~ GCC 12.0.1 of 20220128 (only Ada, C, C++, built on Mac OS-X El Capitan, runs up to macOS 12 Monterey).

Compilers included: Ada, C, C++.

Available on Simon’s GitHub



SPARK2014 built against it (provers CVC4, Z3, Alt-Ergo; CVC4 requires Sierra and upwards).
Available on Simon’s GitHub.
Needs GCC 12.0.1 installed.
Read More…

Tags: SPARK2014,GCC,MacOS

Adaforge has now his own Twitter account !

@AdaForge2022 is labelled «AdaForge for Ada programmers»
and described as
« #Ada2022 Software & Tools for #AdaProgramming complex and reliable software »
Read More…

I’ve the pleasure to announce a ground-up update of AdaForge.org

The purpose of this site is to bring to the Ada developer a catalog of (almost) all Ada open source code and tools existing in different public repositories.

==> This catalog is structured according to a software developer perspective (taxonomy).


Note : AdaForge.org references 100% of the ALIRE ‘crates’ packaging repo.
Read More…