libgmpada9
Ada binding to the GNU MultiPrecision library: shared library
GMPAda allows programmers to use the GNU MultiPrecision library
within the Ada language: unbounded integers, rationals and
floats.
libgnatcoll22
GNATColl, general purpose Ada library (runtime)
The GNAT Component Collection deals with: module tracing, efficient
file IO, static string searching (Boyer-Moore), e-mails and
mailboxes, Ravenscar tasking profiles, storage pools, JSON, logging,
shell scripting. Components relying on external dependencies are
distributed in separate packages.
libgnatcoll-gmp21
Ada binding for GMP big numbers (runtime)
The GNAT Component Collection deals with: module tracing, efficient
file IO, static string searching (Boyer-Moore), e-mails and
mailboxes, Ravenscar tasking profiles, storage pools, JSON, logging,
shell scripting. Components relying on external dependencies are
distributed in separate packages.
libgnatcoll-iconv21
Ada binding for Iconv character encoding conversions (runtime)
The GNAT Component Collection deals with: module tracing, efficient
file IO, static string searching (Boyer-Moore), e-mails and
mailboxes, Ravenscar tasking profiles, storage pools, JSON, logging,
shell scripting. Components relying on external dependencies are
distributed in separate packages.
libgnatcoll-lzma3
Ada binding for LZMA compression (runtime)
The GNAT Component Collection deals with: module tracing, efficient
file IO, static string searching (Boyer-Moore), e-mails and
mailboxes, Ravenscar tasking profiles, storage pools, JSON, logging,
shell scripting. Components relying on external dependencies are
distributed in separate packages.
eyes17-manuals-en
Eyes17 User Manuals (English version)
Eyes17 provides high level interfaces for making science experiments
with an ExpEYES-17 box.