{"category":{"categoryid":430,"name":"dev-ada","summary":"The dev-ada category contains libraries and utilities relevant to the Ada programming language."},"packages":[{"categoryid":430,"description":"Implementation of a DPLL-based SAT solver in Ada","firstseen":"2024-03-15T11:26:12.939600","name":"AdaSAT","packageid":77178,"summary":"Implementation of a DPLL-based SAT solver in Ada. Main features: Conflict analysis and backjumping Two-watched literals scheme Built-in support for At-Most-One constraints Custom theories"},{"categoryid":430,"description":"a Language Server Protocol for Ada\/SPARK","firstseen":"2021-12-31T20:16:20.687442","name":"ada_language_server","packageid":73963},{"categoryid":430,"description":"Ada binding to the libfswatch library","firstseen":"2021-12-30T14:17:43.586944","name":"ada_libfswatch","packageid":73927},{"categoryid":430,"description":"Ada Reducer","firstseen":"2025-12-09T19:00:06.778384","name":"adareducer","packageid":78655},{"categoryid":430,"description":"Ada unit testing framework","firstseen":"2017-04-26T23:25:59.201821","name":"aunit","packageid":66786,"summary":"AUnit is a set of Ada packages based on the xUnit family of unit test frameworks. It’s intended as a developer’s tool to facilitate confident writing and evolution of Ada software. It is purposely lightweight, as one of its main goals is to make it easy to develop and run unit tests, rather than to generate artifacts for process management. The framework supports easy composition of sets of unit tests to provide flexibility in determining what tests to run for a given purpose."},{"categoryid":430,"description":"A complete Web development framework","firstseen":"2017-04-30T20:58:31.458673","name":"aws","packageid":66798,"summary":"AWS stand for Ada Web Server. It is a small yet powerful HTTP component to embed in any applications. It means that you can communicate with your application using a standard Web browser and this without the need for a Web Server. AWS is fully developed in Ada with GNAT."},{"categoryid":430,"description":"Ease the development of portable automated build systems","firstseen":"2021-11-23T21:57:53.368900","name":"e3-core","packageid":73590,"summary":"This present project (e3) is a Python framework to ease the development of portable automated build systems (compilation, dependencies management, binary code packaging, and automated testing). The e3 framework is split across multiple Python packages named e3-name and sharing the same namespace: e3. e3-core contains several packages that help writing portable code running on both Windows and UNIX systems. It also contains Anod, a build and test driver based on Anod specification files that handle dependencies management, create binary packages, and execute test suites. The driver inputs are Python files ending with .anod called Anod specification files describing: dependencies (either for building, installing, or testing a product) required Git or Subversion repositories list of action to execute for each of the Anod actions or primitives (build, install, test, …)"},{"categoryid":430,"description":"Generic testsuite framework in Python","firstseen":"2021-11-28T14:19:47.462317","name":"e3-testsuite","packageid":73644,"summary":"This present project (e3) is a Python framework to ease the development of portable automated build systems (compilation, dependencies management, binary code packaging, and automated testing). The e3 framework is split across multiple Python packages named e3-name and sharing the same namespace: e3."},{"categoryid":430,"description":"GNAT Component Collection","firstseen":"2018-06-22T07:43:05.450548","name":"gnatcoll-bindings","packageid":69206,"summary":"The reusable library known as the GNAT Component Collection (GNATColl) is based on one main principle: general-purpose packages that are part of the GNAT technology should also be available to GNAT user application code. The compiler front end, the GNAT Programming Studio (GPS) Interactive Development Environment, and the GNAT Tracker web-based interface all served as sources for the components. The GNATColl components complement the predefined Ada and GNAT libraries and deal with a range of common programming issues including string and text processing, memory management, and file handling. Several of the components are especially useful in enterprise applications."},{"categoryid":430,"description":"GNAT Component Collection Core packages","firstseen":"2018-06-12T20:33:19.940328","name":"gnatcoll-core","packageid":69174,"summary":"The reusable library known as the GNAT Component Collection (GNATColl) is based on one main principle: general-purpose packages that are part of the GNAT technology should also be available to GNAT user application code. The compiler front end, the GNAT Programming Studio (GPS) Interactive Development Environment, and the GNAT Tracker web-based interface all served as sources for the components. The GNATColl components complement the predefined Ada and GNAT libraries and deal with a range of common programming issues including string and text processing, memory management, and file handling. Several of the components are especially useful in enterprise applications."},{"categoryid":430,"description":"GNAT Component Collection","firstseen":"2021-11-17T21:36:22.739400","name":"gnatcoll-db","packageid":73580,"summary":"The reusable library known as the GNAT Component Collection (GNATColl) is based on one main principle: general-purpose packages that are part of the GNAT technology should also be available to GNAT user application code. The compiler front end, the GNAT Programming Studio (GPS) Interactive Development Environment, and the GNAT Tracker web-based interface all served as sources for the components. The GNATColl components complement the predefined Ada and GNAT libraries and deal with a range of common programming issues including string and text processing, memory management, and file handling. Several of the components are especially useful in enterprise applications."},{"categoryid":430,"description":"GNAT Documentation Generation Tool","firstseen":"2022-12-18T20:21:39.969418","name":"gnatdoc","packageid":75680},{"categoryid":430,"description":"Opinionated code formatter for the Ada language","firstseen":"2025-02-16T20:10:22.750139","name":"gnatformat","packageid":78166},{"categoryid":430,"description":"Monitors dynamic allocation and deallocation activity in a program","firstseen":"2017-04-25T21:46:33.538286","name":"gnatmem","packageid":66783,"summary":"The gnatmem utility monitors dynamic allocation and deallocation activity in a program, and displays information about incorrect deallocations and possible sources of memory leaks. It provides three type of information: General information concerning memory management, such as the total number of allocations and deallocations, the amount of allocated memory and the high water mark, i.e. the largest amount of allocated memory in the course of program execution. Backtraces for all incorrect deallocations, that is to say deallocations which do not correspond to a valid allocation. Information on each allocation that is potentially the origin of a memory leak."},{"categoryid":430,"description":"Translates addresses into filename, line number, and function names","firstseen":"2018-07-01T15:08:25.027952","name":"gnatsymbolize","packageid":69246,"summary":"gnatsymbolize is a program which translates addresses into their corresponding filename, line number, and function names."},{"categoryid":430,"description":"LibGPR2 - Parser for GPR Project files","firstseen":"2022-12-16T13:07:39.277611","name":"gpr","packageid":75676},{"categoryid":430,"description":"Multi-Language Management","firstseen":"2017-03-23T14:36:45.594904","name":"gprbuild","packageid":66683,"summary":"GPRbuild is an advanced software tool designed to help automate the construction of multi-language systems. It removes complexity from multi-language development by allowing developers to quickly and easily compile and link software written in a combination of languages including Ada, Assembler, C, C++, and Fortran. Easily extendable by users to cover new toolchains and languages it is primarily aimed at projects of all sizes organized into subsystems and libraries and is particularly well-suited for compiled languages."},{"categoryid":430,"description":"GPR configuration knowledge base","firstseen":"2022-11-24T20:42:51.316163","name":"gprconfig_kb","packageid":75620,"summary":"GPRCONFIG KB is a knowledge base for configuring GPR toolchains, used by GPRbuild and GPR2 projects."},{"categoryid":430,"description":"A complete Ada graphical toolkit","firstseen":"2017-04-22T16:50:06.838457","name":"gtkada","packageid":66780,"summary":"GtkAda is an Ada graphical toolkit based on Gtk+, providing the complete set of Gtk+ widgets using the Object-Oriented features of this language. GtkAda supports the latest 3.14 stable releases."},{"categoryid":430,"description":"Refactoring tools for the Ada programming language","firstseen":"2024-03-20T18:51:39.975853","name":"lal-refactor","packageid":77192},{"categoryid":430,"description":"A Python framework to generate language parsers","firstseen":"2021-12-06T13:24:38.902760","name":"langkit","packageid":73714,"summary":"Langkit (nickname for language kit) is a tool whose purpose is to make it easy to create syntactic and semantic analysis engines. Write a language specification in our Python DSL and Langkit will generate for you an Ada library with bindings for the C and Python programming languages. The generated library is meant to provide a basis to write tooling, including tools working on potentially changing and incorrect code, such as IDEs."},{"categoryid":430,"description":"A Python framework to generate language parsers - Contrib","firstseen":"2025-02-01T22:12:09.292043","name":"langkit-contrib","packageid":78148,"summary":"Langkit (nickname for language kit) is a tool whose purpose is to make it easy to create syntactic and semantic analysis engines. Write a language specification in our Python DSL and Langkit will generate for you an Ada library with bindings for the C and Python programming languages. The generated library is meant to provide a basis to write tooling, including tools working on potentially changing and incorrect code, such as IDEs."},{"categoryid":430,"description":"high performance semantic engine for the Ada programming language","firstseen":"2021-12-15T22:29:46.775560","name":"libadalang","packageid":73758,"summary":"Libadalang is a project to build a high performance semantic engine for the Ada programming language. It is meant to provide a basis to write Ada tooling, including tools working on potentially changing and incorrect code, such as IDEs."},{"categoryid":430,"description":"Libadalang-based tools: gnatpp, gnatmetric and gnatstub","firstseen":"2021-12-17T08:16:58.396755","name":"libadalang-tools","packageid":73760},{"categoryid":430,"description":"Ada library to handle GPRbuild project files","firstseen":"2017-12-02T21:41:25.762783","name":"libgpr","packageid":68491,"summary":"GPRbuild is an advanced software tool designed to help automate the construction of multi-language systems. It removes complexity from multi-language development by allowing developers to quickly and easily compile and link software written in a combination of languages including Ada, Assembler, C, C++, and Fortran. Easily extendable by users to cover new toolchains and languages it is primarily aimed at projects of all sizes organized into subsystems and libraries and is particularly well-suited for compiled languages."},{"categoryid":430,"description":"Provides a markdown parser written in Ada","firstseen":"2022-12-18T20:21:39.969418","name":"markdown","packageid":75681},{"categoryid":430,"description":"Port of the Prettier formatter to the Ada programming language","firstseen":"2025-01-26T18:43:07.960405","name":"prettier-ada","packageid":78141,"summary":"This project is a port of the Prettier formatter to the Ada programming language. The aim of this project is to provide a tool that allows Ada programmers to create formatters for any language of their choosing. Please note that only the core generic formatting algorithm and its dependencies were ported. The formatters for all supported languages are not included in this project."},{"categoryid":430,"description":"Simple API to spawn processes","firstseen":"2021-12-26T19:23:03.021169","name":"spawn","packageid":73912,"summary":"This library provides simple API to spawn processes and communicate with them. We provide two implementations of the same API - the integrated into Glib event loop and the independent."},{"categoryid":430,"description":"A template engine","firstseen":"2022-12-14T08:11:03.746645","name":"templates-parser","packageid":75674,"summary":"The templates parser package has been designed to parse files and to replace some specific tags into these files by some specified values."},{"categoryid":430,"description":"A high level string and text processing library","firstseen":"2025-12-23T22:29:35.563797","name":"vss-extra","packageid":78674},{"categoryid":430,"description":"A high level string and text processing library","firstseen":"2025-12-22T10:17:33.398093","name":"vss-text","packageid":78670},{"categoryid":430,"description":"Set of modules that provide a simple manipulation of XML streams","firstseen":"2017-03-27T16:49:32.067838","name":"xmlada","packageid":66691,"summary":"XML\/Ada is a set of modules that provide a simple manipulation of XML streams. It supports the whole XML 1.1 specifications, and can parse any file that follows this standard (including the contents of the DTD, although no validation of the document is done based on those). It also provides support for a number of other standard associated with XML, like SAX, DOM and XML schemas. In addition, it includes a module to manipulate Unicode streams, since this is required by the XML standard."}]}