AdaSAT
- Ebuilds: 1, Stable: 25.0.0, Testing: 25.0.0 Description:
Implementation of a DPLL-based SAT solver in Ada. Main features:
Conflict analysis and backjumping
Two-watched literals scheme
Built-in support for At-Most-One constraints
Custom theories
Homepage:https://github.com/AdaCore/AdaSAT License: Apache-2.0
aunit
- Ebuilds: 2, Stable: 25.0.0-r3, Testing: 26.0.0 Description:
AUnit is a set of Ada packages based on the xUnit family of unit test
frameworks. It’s intended as a developer’s tool to facilitate confident
writing and evolution of Ada software. It is purposely lightweight, as
one of its main goals is to make it easy to develop and run unit tests,
rather than to generate artifacts for process management. The framework
supports easy composition of sets of unit tests to provide flexibility
in determining what tests to run for a given purpose.
Homepage:https://github.com/AdaCore/aunit License: GPL-3
aws
- Ebuilds: 3, Stable: 25.1.0-r3, Testing: 26.0.0 Description:
AWS stand for Ada Web Server. It is a small yet powerful HTTP component to
embed in any applications. It means that you can communicate with your
application using a standard Web browser and this without the need for a Web
Server. AWS is fully developed in Ada with GNAT.
Homepage:https://github.com/AdaCore/aws License: GPL-3
e3-core
- Ebuilds: 4, Stable: 22.6.0-r3, Testing: 22.10.0 Description:
This present project (e3) is a Python framework to ease the
development of portable automated build systems (compilation,
dependencies management, binary code packaging, and automated
testing).
The e3 framework is split across multiple Python packages named
e3-name and sharing the same namespace: e3.
e3-core contains several packages that help writing portable code
running on both Windows and UNIX systems. It also contains Anod, a
build and test driver based on Anod specification files that handle
dependencies management, create binary packages, and execute test
suites. The driver inputs are Python files ending with .anod called
Anod specification files describing:
dependencies (either for building, installing, or testing a product)
required Git or Subversion repositories
list of action to execute for each of the Anod actions or primitives
(build, install, test, …)
Homepage:https://www.adacore.com/ License: GPL-3
e3-testsuite
- Ebuilds: 1, Stable: 26.0-r2, Testing: 26.0-r2 Description:
This present project (e3) is a Python framework to ease the
development of portable automated build systems (compilation,
dependencies management, binary code packaging, and automated
testing).
The e3 framework is split across multiple Python packages named
e3-name and sharing the same namespace: e3.
Homepage:https://www.adacore.com/ License: GPL-3
gnatcoll-bindings
- Ebuilds: 2, Stable: 25.0.0-r1, Testing: 26.0.0 Description:
The reusable library known as the GNAT Component Collection (GNATColl)
is based on one main principle: general-purpose packages that are part
of the GNAT technology should also be available to GNAT user
application code. The compiler front end, the GNAT Programming Studio
(GPS) Interactive Development Environment, and the GNAT Tracker
web-based interface all served as sources for the components.
The GNATColl components complement the predefined Ada and GNAT
libraries and deal with a range of common programming issues including
string and text processing, memory management, and file handling.
Several of the components are especially useful in enterprise
applications.
Homepage:https://github.com/AdaCore/gnatcoll-bindings/ License: GPL-3
gnatcoll-core
- Ebuilds: 2, Stable: 25.0.0-r2, Testing: 26.0.0 Description:
The reusable library known as the GNAT Component Collection (GNATColl)
is based on one main principle: general-purpose packages that are part
of the GNAT technology should also be available to GNAT user
application code. The compiler front end, the GNAT Programming Studio
(GPS) Interactive Development Environment, and the GNAT Tracker
web-based interface all served as sources for the components.
The GNATColl components complement the predefined Ada and GNAT
libraries and deal with a range of common programming issues including
string and text processing, memory management, and file handling.
Several of the components are especially useful in enterprise
applications.
Homepage:https://github.com/AdaCore/gnatcoll-core/ License: GPL-3
gnatcoll-db
- Ebuilds: 2, Testing: 26.0.0 Description:
The reusable library known as the GNAT Component Collection (GNATColl)
is based on one main principle: general-purpose packages that are part
of the GNAT technology should also be available to GNAT user
application code. The compiler front end, the GNAT Programming Studio
(GPS) Interactive Development Environment, and the GNAT Tracker
web-based interface all served as sources for the components.
The GNATColl components complement the predefined Ada and GNAT
libraries and deal with a range of common programming issues including
string and text processing, memory management, and file handling.
Several of the components are especially useful in enterprise
applications.
Homepage:https://github.com/AdaCore/gnatcoll-db/ License: GPL-3
gnatmem
- Ebuilds: 1, Stable: 2021-r6, Testing: 2021-r6 Description:
The gnatmem utility monitors dynamic allocation and deallocation
activity in a program, and displays information about incorrect
deallocations and possible sources of memory leaks. It provides three
type of information:
General information concerning memory management, such as the total
number of allocations and deallocations, the amount of allocated memory
and the high water mark, i.e. the largest amount of allocated memory in
the course of program execution.
Backtraces for all incorrect deallocations, that is to say
deallocations which do not correspond to a valid allocation.
Information on each allocation that is potentially the origin of a
memory leak.
Homepage:http://libre.adacore.com/ License: GPL-3
gnatsymbolize
- Ebuilds: 1, Stable: 2021-r5, Testing: 2021-r5 Description:
gnatsymbolize is a program which translates addresses into their
corresponding filename, line number, and function names.
Homepage:http://libre.adacore.com/ License: GPL-3
gprbuild
- Ebuilds: 2, Stable: 25.0.0-r5, Testing: 26.0.0 Description:
GPRbuild is an advanced software tool designed to help automate the
construction of multi-language systems. It removes complexity from
multi-language development by allowing developers to quickly and easily
compile and link software written in a combination of languages
including Ada, Assembler, C, C++, and Fortran. Easily extendable by
users to cover new toolchains and languages it is primarily aimed at
projects of all sizes organized into subsystems and libraries and is
particularly well-suited for compiled languages.
Homepage:https://github.com/AdaCore/gprbuild License: GPL-3
gprconfig_kb
- Ebuilds: 2, Stable: 25.0.0-r3, Testing: 26.0.0 Description:
GPRCONFIG KB is a knowledge base for configuring GPR toolchains, used
by GPRbuild and GPR2 projects.
Homepage:https://www.adacore.com/ License: GPL-3
gtkada
- Ebuilds: 2, Stable: 25.0.1-r2, Testing: 26.0.0 Description:
GtkAda is an Ada graphical toolkit based on Gtk+, providing the
complete set of Gtk+ widgets using the Object-Oriented features of
this language. GtkAda supports the latest 3.14 stable releases.
Homepage:http://libre.adacore.com//tools/gtkada/ License: GPL-3
langkit
- Ebuilds: 3, Stable: 25.0.0-r7, Testing: 26.0.0 Description:
Langkit (nickname for language kit) is a tool whose purpose is to make
it easy to create syntactic and semantic analysis engines. Write a
language specification in our Python DSL and Langkit will generate for
you an Ada library with bindings for the C and Python programming
languages.
The generated library is meant to provide a basis to write tooling,
including tools working on potentially changing and incorrect code,
such as IDEs.
Homepage:https://www.adacore.com/community License: Apache-2.0
langkit-contrib
- Ebuilds: 2, Stable: 25.0.0-r2, Testing: 26.0.0 Description:
Langkit (nickname for language kit) is a tool whose purpose is to make
it easy to create syntactic and semantic analysis engines. Write a
language specification in our Python DSL and Langkit will generate for
you an Ada library with bindings for the C and Python programming
languages.
The generated library is meant to provide a basis to write tooling,
including tools working on potentially changing and incorrect code,
such as IDEs.
Homepage:https://www.adacore.com/community License: Apache-2.0
libadalang
- Ebuilds: 2, Stable: 25.0.0-r1, Testing: 26.0.0 Description:
Libadalang is a project to build a high performance semantic engine for
the Ada programming language. It is meant to provide a basis to write
Ada tooling, including tools working on potentially changing and
incorrect code, such as IDEs.
Homepage:https://github.com/AdaCore/libadalang License: Apache-2.0
libgpr
- Ebuilds: 2, Stable: 25.0.0-r3, Testing: 26.0.0 Description:
GPRbuild is an advanced software tool designed to help automate the
construction of multi-language systems. It removes complexity from
multi-language development by allowing developers to quickly and easily
compile and link software written in a combination of languages
including Ada, Assembler, C, C++, and Fortran. Easily extendable by
users to cover new toolchains and languages it is primarily aimed at
projects of all sizes organized into subsystems and libraries and is
particularly well-suited for compiled languages.
Homepage:https://github.com/AdaCore/gprbuild License: GPL-3
prettier-ada
- Ebuilds: 2, Stable: 25.0.0-r4, Testing: 26.0.0 Description:
This project is a port of the Prettier formatter to the Ada programming
language. The aim of this project is to provide a tool that allows Ada
programmers to create formatters for any language of their choosing.
Please note that only the core generic formatting algorithm and its
dependencies were ported. The formatters for all supported languages
are not included in this project.
Homepage:https://github.com/AdaCore/prettier-ada License: Apache-2.0
spawn
- Ebuilds: 2, Testing: 26.0.0-r1 Description:
This library provides simple API to spawn processes and communicate
with them. We provide two implementations of the same API - the
integrated into Glib event loop and the independent.
Homepage:https://github.com/AdaCore/spawn License: GPL-3 gcc-runtime-library-exception-3.1
templates-parser
- Ebuilds: 3, Stable: 25.0.0-r5, 24.0.0-r2, Testing: 26.0.0-r1 Description:
The templates parser package has been designed to parse files and to
replace some specific tags into these files by some specified values.
Homepage:https://github.com/AdaCore/templates-parser License: GPL-3
vss-extra
- Ebuilds: 1, Testing: 26.0.0 Description: A high level string and text processing library
Homepage:https://github.com/AdaCore/vss-extra License: GPL-3 gcc-runtime-library-exception-3.1
vss-text
- Ebuilds: 2, Stable: 25.0.0-r1, Testing: 26.0.0 Description: A high level string and text processing library
Homepage:https://github.com/AdaCore/vss-text License: GPL-3 gcc-runtime-library-exception-3.1
xmlada
- Ebuilds: 2, Stable: 25.0.0-r5, Testing: 26.0.0 Description:
XML/Ada is a set of modules that provide a simple manipulation of XML
streams. It supports the whole XML 1.1 specifications, and can parse
any file that follows this standard (including the contents of the DTD,
although no validation of the document is done based on those).
It also provides support for a number of other standard associated
with XML, like SAX, DOM and XML schemas.
In addition, it includes a module to manipulate Unicode streams, since
this is required by the XML standard.
Homepage:https://github.com/AdaCore/xmlada License: GPL-3