ada_language_server | an implementation of the Microsoft 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 |
---|
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 |
---|
gpr-unit-provider | GPR Unit Provider |
---|
gtkada | A complete Ada graphical toolkit |
---|
lal-refactor | Refactoring tools for the Ada programming language |
---|
langkit | A Python framework to generate language parsers |
---|
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 |
---|
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 |
---|