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.