Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
Gentoo Project
Ada
Packages
32
Stabilization
8
Outdated
1
Pull requests
0
Bugs
21
Security
0
Changelog
dev-ada
dev-ada/ada_language_server
an implementation of the Microsoft Language Server Protocol for Ada/SPARK
dev-ada/ada_libfswatch
Ada binding to the libfswatch library
dev-ada/AdaSAT
Implementation of a DPLL-based SAT solver in Ada
dev-ada/aunit
Ada unit testing framework
dev-ada/aws
A complete Web development framework
dev-ada/e3-core
Ease the development of portable automated build systems
dev-ada/e3-testsuite
Generic testsuite framework in Python
dev-ada/gnatcoll-bindings
GNAT Component Collection
dev-ada/gnatcoll-core
GNAT Component Collection Core packages
dev-ada/gnatcoll-db
GNAT Component Collection
dev-ada/gnatdoc
GNAT Documentation Generation Tool
dev-ada/gnatmem
Monitors dynamic allocation and deallocation activity in a program
dev-ada/gnatsymbolize
Translates addresses into filename, line number, and function names
dev-ada/gpr
LibGPR2 - Parser for GPR Project files
dev-ada/gprbuild
Multi-Language Management
dev-ada/gprconfig_kb
GPR configuration knowledge base
dev-ada/gpr-unit-provider
GPR Unit Provider
dev-ada/gtkada
A complete Ada graphical toolkit
dev-ada/lal-refactor
Refactoring tools for the Ada programming language
dev-ada/langkit
A Python framework to generate language parsers
dev-ada/libadalang
high performance semantic engine for the Ada programming language
dev-ada/libadalang-tools
Libadalang-based tools: gnatpp, gnatmetric and gnatstub
dev-ada/libgpr
Ada library to handle GPRbuild project files
dev-ada/markdown
Provides a markdown parser written in Ada
dev-ada/spawn
Simple API to spawn processes
dev-ada/templates-parser
A template engine
dev-ada/VSS
A high level string and text processing library
dev-ada/xmlada
Set of modules that provide a simple manipulation of XML streams
dev-lang
dev-lang/ada-bootstrap
GNAT Ada Compiler - GPL version
dev-lang/gnat-gpl
GNAT Ada Compiler - GPL version
dev-lang/spark
Software development for high-reliability applications
sys-fs
sys-fs/fswatch
cross-platform file change monitor with multiple backends
Description
This project provides support for Ada compilers and libraries in Portage. At present both a gnat compiler (gnat-gpl by AdaCore) and gcc (by FSF) are provided.
External Resources
CI Report
(
verbose
)
Documentation
Members
Steve Arnold
(Lead)
Alfredo Tupone
(Lead)
Shortcuts
dev-ada
dev-lang
sys-fs