Packages
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Packages
Maintainers
USE flags
Architectures
About
dev-ada
The dev-ada category contains libraries and utilities relevant to the Ada programming language.
Packages
Stabilization
0
Outdated
11
Pull requests
0
Bugs
11
Security
0
Outdated Packages
Atom feed
dev-ada/ada_language_server
an implementation of the Microsoft Language Server Protocol for Ada/SPARK
dev-ada/AdaSAT
Implementation of a DPLL-based SAT solver in Ada
dev-ada/aws
A complete Web development framework
dev-ada/gnatcoll-db
GNAT Component Collection
dev-ada/gnatdoc
GNAT Documentation Generation Tool
dev-ada/gpr
LibGPR2 - Parser for GPR Project files
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
Description
Based on the data of
repology.org
, there might be a new version available for these packages.
Please don't solely rely on this information, as the repology data might not be accurate.
Packages