| AdaID:standard |
Simple Ada library for generating UUIDs |
| AdaSAT:standard |
Implementation of a DPLL-based SAT solver in Ada |
| PragmARC:standard |
PragmAda Reusable Components |
| XML_EZ_Out:standard |
Library for emitting XML from Ada programs |
| ada-markdown:standard |
Ada Markdown parser library |
| ada_language_server:standard |
Microsoft Language Server Protocol for Ada |
| ada_libfswatch:standard |
Ada binding to the libfswatch library |
| ada_spawn:standard |
Simple API to spawn communicating processes |
| adabase:sqlite |
Thick SQLite bindings for Ada |
| adabase:standard |
Thick database bindings for Ada |
| ahven:standard |
Ada unit test framework |
| alog:standard |
Stackable logging framework for Ada |
| anet:standard |
Networking library for Ada |
| apq-base:standard |
APQ Ada95 database base library |
| apq-odbc:standard |
APQ Ada95 ODBC database driver |
| apq-pgsql:standard |
APQ Ada95 MySQL database driver |
| aunit:standard |
Ada unit testing framework |
| aws:standard |
Adacore Ada Web Server and framework |
| booch95:standard |
Ada95 Booch Components |
| excel-writer:standard |
Create Excel files with basic formats (Ada lib) |
| florist:standard |
POSIX Ada binding, IEEE Standards 1003.5(b,c) |
| generic_image_decoder:standard |
Multi-format image decoder library for Ada |
| gnatcoll-bindings:standard |
Core packages of GNAT Components Collection |
| gnatcoll-core:standard |
Core packages of GNAT Components Collection |
| gnatcoll-db:standard |
GNAT Components Collection - Database packages |
| gnatdoc:standard |
GNAT Documentation Generation Tool |
| gnatstudio:standard |
Multilanguage IDE for Ada, SPARK, C/C++, and more |
| gpr-unit-provider:standard |
Unit provider for Libadalang |
| gpr2tools:standard |
Tools based on GPR2 library |
| gtkada:standard |
Ada graphical toolkit based on Gtk3 components |
| ini_file_manager:standard |
Ini configuration file manipulator for Ada |
| ironsides:standard |
Authoritative DNS server verified by SPARK/Ada |
| lal-refactor:standard |
Collection of Ada source code refactoring tools |
| langkit_support:standard |
Support files for Ada Langkit |
| libadalang-tools:standard |
Development tools based on libadalang |
| libadalang:standard |
High-performance semantic engine for Ada |
| libgpr2:standard |
Parser for GPR Project files |
| libsparkcrypto:standard |
Cryptographic library implemented in SPARK |
| libvss:standard |
High level string and text processing library |
| lua-ada:standard |
Ada binding for Lua |
| matreshka:standard |
Ada framework for information systems development |
| pcsc-ada:standard |
Ada binding to Smart card interface (PC/SC) |
| rvn:standard |
Ravenports binary package manager |
| sdl_gnat:standard |
Ada thin bindings for SDL (GPLv3) |
| simple_components:standard |
Simple Ada Components |
| slider:standard |
HAMMER file system time slider utility |
| synth:standard |
Custom package repository builder for FreeBSD |
| templates-parser:standard |
Templated text stream library |
| zip-ada:standard |
Zip compression library written in Ada |