Package list
dev-ada / AdaSAT : Implementation of a DPLL-based SAT solver in Ada
dev-ada / VSS : A high level string and text processing library
dev-ada / ada_language_server : a Language Server Protocol for Ada/SPARK
dev-ada / ada_libfswatch : Ada binding to the libfswatch library
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 / gnatformat : Opinionated code formatter for the Ada language
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 / 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 / langkit-contrib : A Python framework to generate language parsers - Contrib
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 / prettier-ada : Port of the Prettier formatter to the Ada programming language
dev-ada / spawn : Simple API to spawn processes
dev-ada / templates-parser : A template engine
dev-ada / xmlada : Set of modules that provide a simple manipulation of XML streams