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