A
- A0b_armv7m ARMv7-M support (Cortex-M3, Cortex-M4, Cortex-M7)
- A0b_armv7m_systick_clock A0B Monotonic Clock by ARMv7M SysTick
- A0b_armv7m_systick_clock_timer A0B Monotonic Clock and Timer by ARMv7M SysTick
- A0b_atsam3x8e ATSAM3X8E base and SVD package
- A0b_atsam3x8e_gpio A0B ATSAM3X8E GPIO/EXTI
- A0b_atsam3x8e_tc5_timer A0B ATSAM3X8E High Resulotion Timer on top of TC5
- A0b_atsam3x8e_twi_i2c A0B ATSAM3X8E TWI I2C Driver
- A0b_base A0B: Base components
- A0b_callbacks A0B Callbacks
- A0b_exti A0B: EXTI API
- A0b_gpio A0B GIOP API
- A0b_i2c A0B I2C API
- A0b_stm32f2_generic_exti A0B: STM32F2+ Generic EXTI
- A0b_stm32f2_generic_gpio A0B: STM32F2+ Generic GPIO
- A0b_stm32f401 STM32F401 base and SVD package
- A0b_stm32f401_dma A0B: STM32F401 DMA
- A0b_stm32f401_gpio A0B: STM32F401 GPIO/EXTI
- A0b_stm32f401_i2c A0B: STM32F401 I2C
- A0b_stm32f401_tim11_timer A0B: Timer based on STM32F401 TIM11
- A0b_stm32g4 A0B: STM32G4 base support
- A0b_stm32g474 A0B: STM32G474 base support and SVD files
- A0b_stm32g474_gpio A0B: STM32G474 GPIO/EXTI
- A0b_stm32g4_gpio A0B: STM32G4 GPIO
- A0b_stm32h723 STM32H723 base and SVD package
- A0b_time A0B Monotonic Time
- A0b_timer A0B Timer
- A0b_tools A0B Tools: Runtime Generator
- Aaa Alex's Ada Assortment (of miscellaneous utilities)
- Aaa_texts Utilities to deal with enriched human texts (ANSI, Unicode)
- Ada_caser Applies casing rules to Ada source code.
- Ada_fuse Ada bindings for Fuse (Filesystem in Userspace)
- Ada_gui An Ada-oriented GUI
- Ada_language_server An implementation of the Microsoft's Language Server Protocol for Ada
- Ada_lua An Ada binding for lua
- Ada_pretty Ada Pretty Printer Library
- Ada_toml TOML parser for Ada
- Ada_voxel_space_demo Voxel Space render engine demo in Ada
- Adabots Learn Ada by programming Minecraft robots
- Adacl Ada Class Library: Strings, Tracing, AUnit, Smart Pointers, Getopt
- Adacl_eastrings AdaCL: Encoding-Aware String Utilities
- Adacl_regexp AdaCL: Regex and SPITBOL Patterns with Wide Character Support
- Adacl_sar AdaCL: Search and Replace with Wide/Wide-Wide Support
- Adagl_gtk3 OpenGL/Gtk3 binding
- Adare_dilithium5 Post Quantum Computer Resistant Cryptograph Sign, Dilithium5 Ada bind.
- Adare_hqc256 Post Quantum Computer Resistant Cryptograph KEM, HQC 256 Ada bind.
- Adasat Implementation of a DPLL-based SAT solver in Ada.
- Adayaml Experimental YAML 1.3 implementation in Ada
- Adl_middleware Middleware layer of the Ada Drivers Library project
- Admpfr Ada bindings for MPFR
- Ado Ada Database Objects (Core library)
- Ado_all Ada Database Objects (All drivers)
- Ado_mysql Ada Database Objects (Mysql)
- Ado_postgresql Ada Database Objects (PostgreSQL)
- Ado_sqlite Ada Database Objects (SQLite)
- Aflex An Ada Lexical Analyzer Generator
- Agpl Ada General Purpose Library with a robotics flavor
- Aho_corasick Aho-Corasick Implementation
- Aicwl Ada Industrial Control Widgets Library
- Ajunitgen Generator of JUnit-compatible XML reports
- Akt Ada Keystore Tool
- Ali_parse ALI_Parse - parsing and processing GNAT's .ali files
- Alr2appimage Tool to create an AppImage executable from an Alire crate
- Anagram Grammar handling and parser generation Ada library
- Ansiada ANSI escape sequences
- Aoa_22 Advent of Ada 22 Solutions
- Aoa_23 Some Advent of Ada 2023 solutions
- Apdf Portable package for producing dynamically PDF documents
- Are Advanced Resource Embedder
- Asfml Ada binding to SFML, the Simple and Fast Multimedia Library
- Ashell Allows running and interacting with OS programs.
- Asis Ada Semantic Interface Specification or ASIS (library part)
- Astro Library for astronomical calculations
- Atari_atr_tools Atari / SIO2PC tools for ATR-files
- Atari_exe_tools Atari tools for for handling EXE-files
- Atomic Standalone Ada/SPARK bindings to GCC atomic built-ins
- Audio_base Basic Ada packages for audio applications
- Audio_wavefiles Ada Wavefile Library
- Aunit Ada unit test framework
- Automate Ada finite-state machine generator
- Avltrees Threaded AVL trees library for Ada
- Avrada_examples Sample applications in Ada for AVR microcontrollers
- Avrada_lib Library of drivers for AVR microcontrollers
- Avrada_mcu Device (MCU) specific definitions for AVR microcontrollers
- Avrada_rts Minimal run time system (RTS) for AVR 8bit controllers
- Awa Ada Web Application
- Awa_unit Ada Web Application (Testing framework)
- Aws Ada Web Server
- Axmpp XMPP client library in Ada
- Ayacc An Ada LARL(1) parser generator
- Azip AZip - A portable Zip Archive Manager
B
C
- C_strings Manage Ada <-> C string conversions conveniently
- Canberra_ada Ada 2012 bindings for libcanberra
- Cards 52-card deck playing card library
- Cashe A fixed-point decimal money library written in Ada.
- Cbsg Corporate Bullshit Generator library
- Cgk Computational Geometry Kernel
- Chacha20 ChaCha20 implementation in Ada.
- Checksum Algorithms for error-checking
- Cheddar Cheddar is a real time scheduling analysis tool.
- Chests Chests are bounded containers
- Chipmunk2d Ada bindings for Chipmunk2D
- Clic Command Line Interface Components
- Cmd_ada Command based text UI, inspired by Python cmd module
- Coap_client Client program for the CoAP-SPARK library
- Coap_spark CoAP implementation formally verified with SPARK/Ada
- Cobs Consistent Overhead Byte Stuffing (COBS) encoder/decoder
- Conic_fit Least squares fitting of quadratic curves and surfaces
- Controlled_io Files that are open while they exist and closed when they don't
- Cortex_m Drivers for Cortex-M micro-controllers (NVIC, SysTick, etc.)
- Crc_32 Cyclic Redundancy Check to verify data integrity (ISO 3309)
- Cre8or_generic_image_handling Generic image file and data handling using stb_images
- Cre8or_generic_image_handling_example Generic image handling example project
D
- Dashera DASHER Terminal Emulator
- Db_maker A generic for creating simple DBs (one table in an RDBMS)
- Dcf Ada 2012 library for document container files, Zip-based archive files
- Dependency_graph_extractor Extract dependency information from Ada projects
- Dg_loada dg_loada loads (restores) legacy DG AOS/VS DUMP_II files
- Dir_iterators Ways of moving around directory trees
- Dirty_booleans Comparisons with 0/1, T/F, Y/N, Yes/No, etc.
- Dotenv Loads environment variables from .env for Ada projects.
- Dummyserver DummyServer is a terminal program that serves dummy content
- Dynamo Dynamo Ada Generator
E
F
G
H
I
- Image_io Output in BMP,PPM,QOI;input in BMP,GIF,JPG,PNG,PNM,QOI,TGA
- Image_random True random numbers from a digital camera
- Ini_files A standalone, portable Ada package for configuration files
- Inotify Monitor filesystem events using Linux' inotify API
- Intl NLS thin Ada binding
- Io_utils A terminal IO library
- Iso ISO Standard references for Ada such as 1366 & 4217 (Country & Currency)
- Iterators Functional iterators a la Rust
- Itsybitsy_bsp Board support package for Arduino ItsyBitsy
- Itsybitsy_rp2040_bsp Board support package for Arduino ItsyBitsy RP2040
J
- J2ada Almost Java to Ada translator
- Jintp Template parser in Ada based on Jinja2
- Journada Simple and nice configurable logging
- Json An Ada 2012 library for parsing JSON
- Jupyter_kernel Jupyter Kernel for Ada
- Jwt JSON Web Token (JWT) implementation in Ada
K
L
M
N
- Ncursesada Ada binding to the ncurses text user interface library
- Nmea_0183 NMEA 0183 message decoder
- Noise_nugget_sdk Ada Software Development Kit for the Noise Nugget
- Nrf5x_hal Drivers and HAL for the Nordic nRF5X micro-controller family
O
P
Q
- Qmc5883 Driver for QMC5883L magnetic sensor
- Qoi Ada/SPARK implementation of the Quite Ok Image format
- Qplt An Ada-GUI program to quickly produce a plot of a data set
R
- Raiden An Ada implemenetation of a block cipher called Raiden.
- Raspberry_bsp Board Support package for Raspberry PI v1, v2 and B+
- Raylib Ada bindings for Raylib
- Rclada ROS2 Ada Client Library
- Rclada_examples ROS2 Ada Client Library - Examples
- Rejuvenation Analysis and manipulation of Ada code based on concrete patterns
- Remoteio Remote I/O Protocol Client Library for GNAT Ada
- Resources Utility library to handle project resources at run-time
- Rewriters Easy, yet advanced manipulation of Ada code
- Rp2040_hal Drivers and HAL for the RP2040 micro-controller family
- Rpio Driver for the BCM2835's GPIO, as seen on the Raspberry Pi
- Rsfile Randomly pick a file with probability proportional to its size
- Rtmidi Ada "middleweight" binding for the rtMIDI library
- Rxada Experimental implementation of ReactiveX in Ada
S
- Saatana SPARK/Ada Algorithms Targeting Advanced Network Applications
- Samd51_hal Drivers and HAL for the SAMD51 micro-controller family
- Sciada Collection of Scientific Operations
- Scripted_testing Integration testing
- Sdlada Ada 2012 SDL 2.x bindings.
- Secretada Secret service Ada binding
- Security Security Library for HTTP client and server with OAuth2 support
- Semantic_versioning Semantic Versioning in Ada
- Septum An interactive context-based text search tool for large codebases.
- Serverfaces Web Server Faces JSR 252, JSR 314 and JSR 344
- Serverfaces_unit Web Server Faces JSR 252, JSR 314 and JSR 344 (Testing framework)
- Servletada Web Servlet Library following JSR 154, JSR 315 (Core)
- Servletada_aws Web Servlet Library following JSR 154, JSR 315 (AWS)
- Servletada_ews Web Servlet Library following JSR 154, JSR 315 (EWS)
- Servletada_unit Web Servlet Library following JSR 154, JSR 315 (Testing framework)
- Sh1107 Driver for the SH1107/OLED 128x128 monochrome display
- Sha1 Secure Hash Algorithm 1 implemented in Ada
- Sha2 Secure Hash Algorithm 2 implemented in Ada
- Shoot_n_loot Platform game for the AdaFruit PyGamer console
- Si_units Pretty print physical values in properly scaled metric (SI) units.
- Simcpucli CLI for CPU simulator
- Simh_tapes Library to handle SimH Standard magnetic tape image files
- Simple_components Simple Components - A collection of support packages
- Simple_logging Simple logging to console
- Simple_regex Port of Rob Pike's simple regex from the Practice of Programming.
- Slip SLIP Protocol Implementation
- Socketcan An Ada language binding to SocketCAN for GNU/Linux systems
- Softdev Serial protocols implemented in software
- Spark_unbound Unbound data structures in Ada-Spark
- Sparkfun_qwiic_motor_driver Interface to the SparkFun Qwiic motor driver.
- Sparknacl Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library
- Spat SPAT - SPARK Proof Analysis Tool
- Spawn A simple library to spawn processes and communicate with them.
- Spawn_glib A simple library to spawn processes and communicate with them.
- Spdx SPDX License Expression Validator
- Spdx_tool SPDX license detection and management tool
- Specfun Native Ada library of special functions (e.g., beta, gamma)
- Splitter A function to emulate "split" as implemented in Ruby
- Spoon Use posix_spawn() to spawn processes without forking
- St7789 SPI based driver for the ST7789 TFT display
- Startup_gen Generates startup files (crt0 and linker script)
- Stephes_ada_library Stephe's Ada library; miscellaneous useful stuff.
- Stm32f0x2_hal Drivers and HAL for stm32f0x2 mcu family
- Stopwatch Keep track of elapsed time
- Strategy Property-based testing framework
- Suika_programing Suika game clone with programing languages
- Svd2ada Ada binding generator from CMSIS-SVD hardware descriptions files
- System_random Minimal library to retrieve random data from system sources
T
- Tash Binding to Tcl/Tk
- Task_coroutines Coroutines and generators using only standard tasking features
- Templates_parser Templates Parser: File generation from templates in Ada
- Testlog Log test activity to support unit testing of Ada packages
- Texcad TeXCAD is a program for drawing or retouching {picture}s in LaTeX
- Texts A no-frills library to deal with Unicode texts in Ada 2012
- Tiled_code_gen Generate GESTE data from Tiled maps and tilesets
- Tiny_rp2040_bsp Board support package for Pimoroni Tiny RP2040
- Tiny_text Low resolution bitmap font with a small memory footprint
- Tlsada Bindings for libtls
- Toml_slicer Edit TOML files directly without parsing
- Trendy_terminal Terminal options, setup, tab completion and hinting.
- Trendy_test Minimal Effort Ada Unit Testing Library
- Tresses Synth library inspired by Mutable Instruments Braids
U
- Ulid Universally Unique Lexicographically Sortable Identifier
- Umwi Unicode Monospace Width Information
- Universal_text_file Proposed universal format for Unicode text files
- Uri_ada Processing of URI strings
- Uri_mime URI & MIME Type Parsing and Manupulation
- Usb_embedded An Ada USB stack for embedded devices
- Utf8test Test the terminal behavior when outputting Latin-1 and UTF-8 strings
- Utilada Utility Library with streams, processes, logs, serialization, encoders
- Utilada_aws Utility Library REST support on top of AWS
- Utilada_curl Utility Library REST support on top of CURL
- Utilada_lzma Utility Library streams with LZMA support
- Utilada_unit Utility Library testing framework with Ahven
- Utilada_xml Utility Library serialization with XML/Ada
- Uuids Implementation of RFC 9562 Universally Unique IDentifiers (UUIDs)
- Uxstrings Unicode Extended Strings utilities
V
- Vanilla Simple replace in character stream
- Vaton Verified Ascii To Number conversion written in Ada/SPARK
- Virtapu A virtual Audio Processing Unit to simulate 8-bit era game sounds
- Vss Advanced string and text manipulation with Unicode support
W
X
- X1804 Translate MIL-HDBK-1804 PDL into Section 4 of the DoD-STD-2167A SDD
- Xdg_base_dir XDG Base Directory Specification
- Xia Implements XPath 1.0 in Ada
- Xml_ez_out Creation of XML-formatted output from Ada programs
- Xmlada The XML/Ada toolkit
- Xoshiro xoshiro128++ and xoshiro256++ pseudo-random number generators
Y
- Yass Static website generator
- Yeison A JSON-like data structure using Ada 2022 features
- Yeison_12 A JSON-like data structure (Ada 2012 version)
Z
- Z_compression Standalone version of the Zlib Deflate compression algorithm
- Zeromq_ada An Ada-binding the ØMQ library
- Zipada Manage Zip Archives and raw BZip2 and LZMA streams
- Zipdcf Tools that can (un)zip document container files, Zip-based archive files
- Zlib_ada ZLib for Ada thick binding
580 crates.
From community branch stable-1.4.0
.
Alr 2.1.0
.
Alire Library 2.1.0
.