| ada_language_server | a Language Server Protocol for Ada/SPARK |
|---|
| ada_libfswatch | Ada binding to the libfswatch library |
|---|
| AdaSAT | Implementation of a DPLL-based SAT solver in Ada |
|---|
| aunit | Ada unit testing framework |
|---|
| aws | A complete Web development framework |
|---|
| e3-core | Ease the development of portable automated build systems |
|---|
| e3-testsuite | Generic testsuite framework in Python |
|---|
| gnatcoll-bindings | GNAT Component Collection |
|---|
| gnatcoll-core | GNAT Component Collection Core packages |
|---|
| gnatcoll-db | GNAT Component Collection |
|---|
| gnatdoc | GNAT Documentation Generation Tool |
|---|
| gnatformat | Opinionated code formatter for the Ada language |
|---|
| gnatmem | Monitors dynamic allocation and deallocation activity in a program |
|---|
| gnatsymbolize | Translates addresses into filename, line number, and function names |
|---|
| gpr | LibGPR2 - Parser for GPR Project files |
|---|
| gprbuild | Multi-Language Management |
|---|
| gprconfig_kb | GPR configuration knowledge base |
|---|
| gtkada | A complete Ada graphical toolkit |
|---|
| lal-refactor | Refactoring tools for the Ada programming language |
|---|
| langkit | A Python framework to generate language parsers |
|---|
| langkit-contrib | A Python framework to generate language parsers - Contrib |
|---|
| libadalang | high performance semantic engine for the Ada programming language |
|---|
| libadalang-tools | Libadalang-based tools: gnatpp, gnatmetric and gnatstub |
|---|
| libgpr | Ada library to handle GPRbuild project files |
|---|
| markdown | Provides a markdown parser written in Ada |
|---|
| prettier-ada | Port of the Prettier formatter to the Ada programming language |
|---|
| spawn | Simple API to spawn processes |
|---|
| templates-parser | A template engine |
|---|
| VSS | A high level string and text processing library |
|---|
| xmlada | Set of modules that provide a simple manipulation of XML streams |
|---|
Packages