QOI ‑ «Quite OK Image» Format, added to the «Generic Image Decoder»
QOI (the «Quite OK Image Format» ) has been added to the Generic Image Decoder (GID)
GID is free, open-source, available on SourceForge and GitHub.
QOI (the «Quite OK Image Format» ) has been added to the Generic Image Decoder (GID)
GID is free, open-source, available on SourceForge and GitHub.
The objective of UXStrings
is Unicode and dynamic length support for
strings in Ada.
UXStrings
API is inspired from Ada.Strings.Unbounded
in order to
minimize adaptation work from existing Ada source codes.
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++.
GNAT (FSF) Available on Simon’s GitHub
SPARK2014 built against it (provers CVC4, Z3, Alt-Ergo; CVC4 requires Sierra and upwards).
Needs GCC 12.0.1 installed.
SPARK2014 Available on Simon’s GitHub
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 »
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.
EEC GDPR compliant
Made in RapidWeaver