Alire

Top 10 Tags

• 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_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
• Adl_middleware Middleware layer of the Ada Drivers Library project
• Atomic Standalone Ada/SPARK bindings to GCC atomic built-ins
• 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
• Bare_runtime Minimal Ada/SPARK run-time for embedded or other restricted targets
• Basalt Collection of formally verified building blocks
• Bb_pico_bsp Ada BSP for the Keyboard Featherwing + RPI PICO
• Bbqueue DMA friendly lock-free BipBuffer
• Bbs_embed_common Abstract hardware drivers and drivers for some i2c bus devices.
• Bbs_embed_linux Physical device drivers for Raspberry Pi and BeagleBone Black
• Bbs_lisp Embedable tiny lisp interpreter
• Bbs_webif Simple web server to provide an interface to embedded instruments
• Blink_led_arduino_due Blink LED demo for Arduino Due
• Blink_led_blackpill_stm32f401 Blink LED demo for BlackPill STM32F401
• Blink_led_weact_stm32g474 Blink LED demo for WeAct STM32G474
• Blinkenlights Project to blink LEDs in interesting patterns
• Button_led_arduino_due Key/LED demo for Arduino Due
• Button_led_blackpill_stm32f401 Key/LED demo for BlackPill STM32F401
• Button_led_weact_stm32g474 Key/LED demo for WeAct STM32G474
• Chests Chests are bounded containers
• Cobs Consistent Overhead Byte Stuffing (COBS) encoder/decoder
• Cortex_m Drivers for Cortex-M micro-controllers (NVIC, SysTick, etc.)
• Edc_client Client library for: github.com/hgrodriguez/embedded-dashboard-console
• Eeprom_i2c EEPROM I2C drivers library for embedded platforms
• Elogs Embedded logging, proven absent of runtime errors
• Embedded_components Platform agnostic drivers to interface external components
• Embedded_nrf52832 embedded runtime for the nRF52832 SoC
• Embedded_nrf52833 embedded runtime for the nRF52833 SoC
• Embedded_nrf52840 embedded runtime for the nRF52840 SoC
• Embedded_stm32f0xx embedded runtime for the STM32F0xx SoC
• Embedded_stm32g0xx embedded runtime for the STM32G0xx SoC
• Embedded_stm32g4xx embedded runtime for the STM32G4xx SoC
• Esp_idf Ada binding for the ESP-IDF SDK
• Hal Hardware Abstraction Layer (HAL)
• Hex_format Hexadecimal string formatting for modular types
• Itsybitsy_bsp Board support package for Arduino ItsyBitsy
• Itsybitsy_rp2040_bsp Board support package for Arduino ItsyBitsy RP2040
• Libsimpleio Linux Simple I/O Library
• Light_arduino_due Arduino Due Board Support Package for `light` GNAT Runtime
• Light_blackpill_stm32f401 BlackPill STM32F401 BSP for `light` GNAT Runtime
• Light_fk723m1_zgt6 FK723M1-ZGT6 BSP for `light` GNAT Runtime
• Light_nrf52832 light runtime for the nRF52832 SoC
• Light_nrf52833 light runtime for the nRF52833 SoC
• Light_nrf52840 light runtime for the nRF52840 SoC
• Light_stm32f0xx light runtime for the STM32F0xx SoC
• Light_stm32g0xx light runtime for the STM32G0xx SoC
• Light_stm32g4xx light runtime for the STM32G4xx SoC
• Light_tasking_nrf52832 light-tasking runtime for the nRF52832 SoC
• Light_tasking_nrf52833 light-tasking runtime for the nRF52833 SoC
• Light_tasking_nrf52840 light-tasking runtime for the nRF52840 SoC
• Light_tasking_stm32f0xx light-tasking runtime for the STM32F0xx SoC
• Light_tasking_stm32g0xx light-tasking runtime for the STM32G0xx SoC
• Light_tasking_stm32g4xx light-tasking runtime for the STM32G4xx SoC
• Light_weact_stm32g474 WeAct STM32G474 BSP for `light` GNAT Runtime
• Linux_hal HAL drivers for Linux userspace
• Littlefs Ada/SPARK binding for the LittleFS flash embedded filesystem
• Ltp_305 Driver for Pimoroni LED
• Lvgl_ada Bindings for the LVGL embedded GUI framework
• Mavlink_common MAVLink -- Micro Air Vehicle Message Marshalling Library.
• Mcp2221 MCP2221 USB Raw HID I/O Expander Library for GNAT Ada
• Microbit_bsp Board Support Package for the BBC micro:bit v1
• Microbit_examples Examples and tutorials for Ada on the BBC micro:bit
• Midi Library to encode and decode MIDI messages
• Minisamd51_bsp Board Support Package for the MiniSAM D51
• Minisamd51_example Example project for the MiniSAM D51
• Muntsos_aarch64 MuntsOS Embedded Linux support for AArch64 targets
• Muntsos_beaglebone MuntsOS Embedded Linux support for BeagleBone targets
• Muntsos_raspberrypi1 MuntsOS Embedded Linux support for RaspberryPi1 targets
• Muntsos_raspberrypi2 MuntsOS Embedded Linux support for RaspberryPi2 targets
• Muntsos_raspberrypi3 MuntsOS Embedded Linux support for RaspberryPi3 targets
• Muntsos_raspberrypi4 MuntsOS Embedded Linux support for RaspberryPi4 targets
• Muntsos_raspberrypi5 MuntsOS Embedded Linux support for RaspberryPi5 targets
• Nrf5x_hal Drivers and HAL for the Nordic nRF5X micro-controller family
• Pico_bsp Board support package for Raspberry Pi Pico
• Pico_examples Examples for Ada on the Raspberry Pi Pico
• Pygamer_bsp Board Support Package for the AdaFruit PyGamer
• Remoteio Remote I/O Protocol Client Library for GNAT Ada
• Rp2040_hal Drivers and HAL for the RP2040 micro-controller family
• Samd51_hal Drivers and HAL for the SAMD51 micro-controller family
• Sh1107 Driver for the SH1107/OLED 128x128 monochrome display
• Slip SLIP Protocol Implementation
• Softdev Serial protocols implemented in software
• St7789 SPI based driver for the ST7789 TFT display
• Startup_gen Generates startup files (crt0 and linker script)
• Stm32f0x2_hal Drivers and HAL for stm32f0x2 mcu family
• Tiny_rp2040_bsp Board support package for Pimoroni Tiny RP2040
• Tresses Synth library inspired by Mutable Instruments Braids
• Usb_embedded An Ada USB stack for embedded devices
• Webif_example Example usage of simple web interface library.
• Wioe5_ham1 Wio-E5 LoRa Transceiver Module Device Driver
• Wioe5_ham2 Wio-E5 LoRa Transceiver Module Device Driver
• Wioe5_p2p Wio-E5 LoRa Transceiver Module P2P Mode Device Driver
• Wolfssl WolfSSL encryption library and its Ada bindings

• Adl_middleware Middleware layer of the Ada Drivers Library project
• Atomic Standalone Ada/SPARK bindings to GCC atomic built-ins
• Basalt Collection of formally verified building blocks
• Bbqueue DMA friendly lock-free BipBuffer
• Chests Chests are bounded containers
• Cobs Consistent Overhead Byte Stuffing (COBS) encoder/decoder
• Cortex_m Drivers for Cortex-M micro-controllers (NVIC, SysTick, etc.)
• Eeprom_i2c EEPROM I2C drivers library for embedded platforms
• Embedded_components Platform agnostic drivers to interface external components
• Esp_idf Ada binding for the ESP-IDF SDK
• Geste GEneric Sprite and Tile Engine
• Hal Hardware Abstraction Layer (HAL)
• Itsybitsy_bsp Board support package for Arduino ItsyBitsy
• Itsybitsy_rp2040_bsp Board support package for Arduino ItsyBitsy RP2040
• Littlefs Ada/SPARK binding for the LittleFS flash embedded filesystem
• Microbit_bsp Board Support Package for the BBC micro:bit v1
• Microbit_examples Examples and tutorials for Ada on the BBC micro:bit
• Midi Library to encode and decode MIDI messages
• Minisamd51_bsp Board Support Package for the MiniSAM D51
• Minisamd51_example Example project for the MiniSAM D51
• Nrf5x_hal Drivers and HAL for the Nordic nRF5X micro-controller family
• Pico_bsp Board support package for Raspberry Pi Pico
• Pico_examples Examples for Ada on the Raspberry Pi Pico
• Pygamer_bsp Board Support Package for the AdaFruit PyGamer
• Rp2040_hal Drivers and HAL for the RP2040 micro-controller family
• Samd51_hal Drivers and HAL for the SAMD51 micro-controller family
• St7789 SPI based driver for the ST7789 TFT display
• Startup_gen Generates startup files (crt0 and linker script)
• Stm32f0x2_hal Drivers and HAL for stm32f0x2 mcu family
• Tiny_rp2040_bsp Board support package for Pimoroni Tiny RP2040
• Tresses Synth library inspired by Mutable Instruments Braids
• Usb_embedded An Ada USB stack for embedded devices
• Virtapu A virtual Audio Processing Unit to simulate 8-bit era game sounds

• 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_base A0B: Base components
• A0b_callbacks A0B Callbacks
• A0b_exti A0B: EXTI 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
• Blink_led_arduino_due Blink LED demo for Arduino Due
• Blink_led_blackpill_stm32f401 Blink LED demo for BlackPill STM32F401
• Blink_led_weact_stm32g474 Blink LED demo for WeAct STM32G474
• Button_led_arduino_due Key/LED demo for Arduino Due
• Button_led_blackpill_stm32f401 Key/LED demo for BlackPill STM32F401
• Button_led_weact_stm32g474 Key/LED demo for WeAct STM32G474
• Light_arduino_due Arduino Due Board Support Package for `light` GNAT Runtime
• Light_fk723m1_zgt6 FK723M1-ZGT6 BSP for `light` GNAT Runtime

• Awa Ada Web Application
• Awa_unit Ada Web Application (Testing framework)
• Aws Ada Web Server
• Bbs_webif Simple web server to provide an interface to embedded instruments
• Elada Expression Language Library (JSR245)
• Ews Embedded Web Server
• Gnoga gnoga - The GNU Omnificent GUI for Ada
• Jwt JSON Web Token (JWT) implementation in Ada
• Matreshka_fastcgi FastCGI implementation (demo)
• Matreshka_servlet Servlet API
• Matreshka_soap Framework for work with SOAP 1.2
• Matreshka_soap_wsse WS-Security 1.1 implementation for SOAP 1.2
• Matreshka_spikedog_api Web-application server. API library
• Matreshka_spikedog_awsd Web-application server. API library
• Matreshka_spikedog_core Web-application server. Implementation library
• Openai OpenAI client library
• Openapi OpenAPI library to build REST client applications
• Openapi_server OpenAPI library to build REST server applications
• 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)
• Utilada_aws Utility Library REST support on top of AWS
• Utilada_curl Utility Library REST support on top of CURL
• Webdriver Web Browser control API
• Webif_example Example usage of simple web interface library.
• Yass Static website generator

• Atomic Standalone Ada/SPARK bindings to GCC atomic built-ins
• Basalt Collection of formally verified building blocks
• Bbqueue DMA friendly lock-free BipBuffer
• Bigints Experimental SPARK Constant Time Big Integer library
• Blake2s SPARK83 implementation of the BLAKE2s hash function
• 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
• Elogs Embedded logging, proven absent of runtime errors
• Endianness Convenience subprograms to convert between Big- and Little-endianness
• Libcrc Cyclic Redundancy Check (CRC) Library
• Libkeccak SHA-3 and related algorithms
• Program_proofs_in_spark Programs from the book Program Proofs in SPARK
• Saatana SPARK/Ada Algorithms Targeting Advanced Network Applications
• Slip SLIP Protocol Implementation
• Spark_unbound Unbound data structures in Ada-Spark
• Sparknacl Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library
• Spat SPAT - SPARK Proof Analysis Tool
• Vaton Verified Ascii To Number conversion written in Ada/SPARK
• Wolfssl WolfSSL encryption library and its Ada bindings
• Xoshiro xoshiro128++ and xoshiro256++ pseudo-random number generators

• Alr2appimage Tool to create an AppImage executable from an Alire crate
• Canberra_ada Ada 2012 bindings for libcanberra
• Epoll Linux epoll binding
• Evdev Library for input devices and force-feedback using Linux' evdev API
• Inotify Monitor filesystem events using Linux' inotify API
• Keypadder Programmable virtual keypad for your Linux desktop
• Libsimpleio Linux Simple I/O Library
• Linux_hal HAL drivers for Linux userspace
• Mcp2221 MCP2221 USB Raw HID I/O Expander Library for GNAT Ada
• Muntsos_aarch64 MuntsOS Embedded Linux support for AArch64 targets
• Muntsos_beaglebone MuntsOS Embedded Linux support for BeagleBone targets
• Muntsos_raspberrypi1 MuntsOS Embedded Linux support for RaspberryPi1 targets
• Muntsos_raspberrypi2 MuntsOS Embedded Linux support for RaspberryPi2 targets
• Muntsos_raspberrypi3 MuntsOS Embedded Linux support for RaspberryPi3 targets
• Muntsos_raspberrypi4 MuntsOS Embedded Linux support for RaspberryPi4 targets
• Muntsos_raspberrypi5 MuntsOS Embedded Linux support for RaspberryPi5 targets
• Powerjoular Monitoring the power consumption of multiple platforms and processes
• Remoteio Remote I/O Protocol Client Library for GNAT Ada
• Wioe5_ham1 Wio-E5 LoRa Transceiver Module Device Driver
• Wioe5_ham2 Wio-E5 LoRa Transceiver Module Device Driver
• Wioe5_p2p Wio-E5 LoRa Transceiver Module P2P Mode Device Driver

• Bare_runtime Minimal Ada/SPARK run-time for embedded or other restricted targets
• Embedded_nrf52832 embedded runtime for the nRF52832 SoC
• Embedded_nrf52833 embedded runtime for the nRF52833 SoC
• Embedded_nrf52840 embedded runtime for the nRF52840 SoC
• Embedded_stm32f0xx embedded runtime for the STM32F0xx SoC
• Embedded_stm32g0xx embedded runtime for the STM32G0xx SoC
• Embedded_stm32g4xx embedded runtime for the STM32G4xx SoC
• Light_nrf52832 light runtime for the nRF52832 SoC
• Light_nrf52833 light runtime for the nRF52833 SoC
• Light_nrf52840 light runtime for the nRF52840 SoC
• Light_stm32f0xx light runtime for the STM32F0xx SoC
• Light_stm32g0xx light runtime for the STM32G0xx SoC
• Light_stm32g4xx light runtime for the STM32G4xx SoC
• Light_tasking_nrf52832 light-tasking runtime for the nRF52832 SoC
• Light_tasking_nrf52833 light-tasking runtime for the nRF52833 SoC
• Light_tasking_nrf52840 light-tasking runtime for the nRF52840 SoC
• Light_tasking_stm32f0xx light-tasking runtime for the STM32F0xx SoC
• Light_tasking_stm32g0xx light-tasking runtime for the STM32G0xx SoC
• Light_tasking_stm32g4xx light-tasking runtime for the STM32G4xx SoC

• Bingada Bingo application in GTKAda with sound in ASFML
• Cards 52-card deck playing card library
• Eagle_lander Apollo 11 lunar lander simulator
• Geste GEneric Sprite and Tile Engine
• Honki_tonks_zivilisationen The Code of my 4X turn-based strategy game.
• Mage Mini Ada Game Engine - A very simple game engine written in Ada
• Mage_hat A hat that jumps around and behaves magically
• Mine_detector The Gnoga/Ada-GUI version of Mine Detector
• Orka OpenGL 4.6 rendering kernel written in Ada 2012
• Play_2048 2048 game: merge tiles with the same number until you add up to 2048
• Pygamer_bsp Board Support Package for the AdaFruit PyGamer
• Pygamer_simulator SDL simulator of the AdaFruit PyGamer console
• Shoot_n_loot Platform game for the AdaFruit PyGamer console
• Suika_programing Suika game clone with programing languages
• Tiled_code_gen Generate GESTE data from Tiled maps and tilesets
• Virtapu A virtual Audio Processing Unit to simulate 8-bit era game sounds
• Wordle Wordle for the terminal
• Wordlelib Library to track progress in a game of Wordle

• 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)
• Db_maker A generic for creating simple DBs (one table in an RDBMS)
• Dynamo Dynamo Ada Generator
• Gnatcoll_postgres GNAT Components Collection - postgres
• Gnatcoll_sql GNAT Components Collection - sql
• Gnatcoll_sqlite GNAT Components Collection - sqlite
• Gnatcoll_xref GNAT Components Collection - xref
• Lmdb_ada Bindings to the Lightning Memory-Mapped Database
• Matreshka_sql Common SQL Database API
• Matreshka_sql_firebird Firebird SQL binding for Ada
• Matreshka_sql_mysql MySQL binding for Ada
• Matreshka_sql_oracle Oracle DB binding for Ada
• Matreshka_sql_postgresql PostgreSQL binding for Ada
• Matreshka_sql_sqlite3 SQLite binding for Ada

• 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
• Enet_stm32 ENet driver for STM32
• Light_blackpill_stm32f401 BlackPill STM32F401 BSP for `light` GNAT Runtime
• Light_fk723m1_zgt6 FK723M1-ZGT6 BSP for `light` GNAT Runtime
• Light_weact_stm32g474 WeAct STM32G474 BSP for `light` GNAT Runtime

All Tags

2

• Aoa_22 Advent of Ada 22 Solutions

• Aoa_23 Some Advent of Ada 2023 solutions

• Honki_tonks_zivilisationen The Code of my 4X turn-based strategy game.
• Suika_programing Suika game clone with programing languages

3

• Globe_3d GLOBE_3D: GL Object Based Engine for 3D

• Globe_3d GLOBE_3D: GL Object Based Engine for 3D

• Globe_3d GLOBE_3D: GL Object Based Engine for 3D

4

• Honki_tonks_zivilisationen The Code of my 4X turn-based strategy game.

6

• Bbs_simcpu CPU Simulator for multiple CPUs

7

• Gnatcoll_lzma GNAT Components Collection - lzma binding

• Gnatcoll_lzma GNAT Components Collection - lzma binding

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_base A0B: Base components
• A0b_callbacks A0B Callbacks
• A0b_exti A0B: EXTI 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
• Blink_led_arduino_due Blink LED demo for Arduino Due
• Blink_led_blackpill_stm32f401 Blink LED demo for BlackPill STM32F401
• Blink_led_weact_stm32g474 Blink LED demo for WeAct STM32G474
• Button_led_arduino_due Key/LED demo for Arduino Due
• Button_led_blackpill_stm32f401 Key/LED demo for BlackPill STM32F401
• Button_led_weact_stm32g474 Key/LED demo for WeAct STM32G474
• Light_arduino_due Arduino Due Board Support Package for `light` GNAT Runtime
• Light_fk723m1_zgt6 FK723M1-ZGT6 BSP for `light` GNAT Runtime

• Ocarina_lib Ocarina is a stand-alone AADL model processor, written in Ada.

• Muntsos_aarch64 MuntsOS Embedded Linux support for AArch64 targets

• Hostarm Local hosting of Ada Reference Manual (ARM)

• Apdf Portable package for producing dynamically PDF documents

• Ada_caser Applies casing rules to Ada source code.
• Adabots Learn Ada by programming Minecraft robots
• Getada The unofficial mac and linux installer for Alire.
• Gnatformat Opinionated code formatter for the Ada language
• Lal_refactor Source code refactoring utilities for the Ada language
• Libadalang2xml Generates XML for Ada source, using libadalang.
• Libgnatformat opinionated code format library for the Ada language
• Lsystem_editor L-Systems editor in Ada
• Octet_memory_stream Provides a Root_Stream_Type wrapper over an array of octets in memory.

• Atari_atr_tools Atari / SIO2PC tools for ATR-files
• Atari_exe_tools Atari tools for for handling EXE-files
• Hp41cx_tools HP-41CX emulator Tools

• Emacs_ada_mode Parser for Emacs ada-mode

• Avltrees Threaded AVL trees library for Ada
• Blake2s SPARK83 implementation of the BLAKE2s hash function

• B2ssum BLAKE2s file hash utility
• Felix X/Open Native Language System (NLS) for Ada

• Adacl Ada Class Library (String, Trace, AUnit, Smart Pointer. GetOpt)
• Adacl_eastrings Ada Class Library - EAStrings
• Adacl_regexp Ada Class Library - Regular Expressions
• Mos6502_create_led Create ROM with little program
• Mos6502_create_nop Create NOP ROM
• Mos6502_create_reset Create ROM with reset vector

• Pygamer_bsp Board Support Package for the AdaFruit PyGamer
• Pygamer_simulator SDL simulator of the AdaFruit PyGamer console

• Libsimpleio Linux Simple I/O Library
• Mcp2221 MCP2221 USB Raw HID I/O Expander Library for GNAT Ada
• Remoteio Remote I/O Protocol Client Library for GNAT Ada

• Checksum Algorithms for error-checking

• Apdf Portable package for producing dynamically PDF documents

• Brackelib Library which contains various utility packages.

• Hac HAC Ada Compiler: a small, quick Ada compiler covering a subset of Ada

• Aoa_22 Advent of Ada 22 Solutions

• Aho_corasick Aho-Corasick Implementation

• Mathpaqs A collection of mathematical, 100% portable, packages

• Levenshtein_distance Implementation of levenshtein distance.

• Labs_standalone Ada exercices for training

• Gnatcoll_xref GNAT Components Collection - xref

• Alr2appimage Tool to create an AppImage executable from an Alire crate
• Getada The unofficial mac and linux installer for Alire.

• Anagram Grammar handling and parser generation Ada library
• Dependency_graph_extractor Extract dependency information from Ada projects
• Gnatcov Coverage Analysis Tool
• Rejuvenation Analysis and manipulation of Ada code based on concrete patterns

• Cheddar Cheddar is a real time scheduling analysis tool.

• Gid Generic Image Decoder - decode a broad variety of image formats

• Gid Generic Image Decoder - decode a broad variety of image formats

• Garlic GNAT Library for Ada Distributed Environment (garlic)
• Gnatdist_garlic The configuration tool gnatdist for GARLIC

• Aaa_texts Utilities to deal with enriched human texts (ANSI, Unicode)
• Ansiada ANSI escape sequences
• Bbs_ansiterm Generate Escape Sequences for ANSI terminals

• Dg_loada dg_loada loads (restores) legacy DG AOS/VS DUMP_II files

• Openai OpenAI client library
• Openapi OpenAPI library to build REST client applications
• Openapi_server OpenAPI library to build REST server applications
• Win32ada Ada API to the Windows library

• Emdee Performance assistant for Musical Directors

• Alr2appimage Tool to create an AppImage executable from an Alire crate

• Azip AZip - A portable Zip Archive Manager
• Lea LEA is a Lightweight Editor for Ada
• Pager2 Manipulate "paged files" found on the Ada Software Repository
• Texcad TeXCAD is a program for drawing or retouching {picture}s in LaTeX

• Gnatcoll_gmp GNAT Components Collection - GNU Multiple Precision Arithmetic binding

• Azip AZip - A portable Zip Archive Manager
• Dcf Ada 2012 library for document container files, Zip-based archive files
• Pager2 Manipulate "paged files" found on the Ada Software Repository
• Zipada Manage Zip Archives and raw BZip2 and LZMA streams
• Zipdcf Tools that can (un)zip document container files, Zip-based archive files

• 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
• Blink_led_arduino_due Blink LED demo for Arduino Due
• Button_led_arduino_due Key/LED demo for Arduino Due
• Light_arduino_due Arduino Due Board Support Package for `light` GNAT Runtime

• Getopt POSIX getopt(3) for Ada

• Gnatcoll_gmp GNAT Components Collection - GNU Multiple Precision Arithmetic binding

• Cortex_m Drivers for Cortex-M micro-controllers (NVIC, SysTick, etc.)
• Hostarm Local hosting of Ada Reference Manual (ARM)
• Muntsos_beaglebone MuntsOS Embedded Linux support for BeagleBone targets
• Muntsos_raspberrypi1 MuntsOS Embedded Linux support for RaspberryPi1 targets
• Muntsos_raspberrypi2 MuntsOS Embedded Linux support for RaspberryPi2 targets

• Muntsos_aarch64 MuntsOS Embedded Linux support for AArch64 targets
• Muntsos_raspberrypi3 MuntsOS Embedded Linux support for RaspberryPi3 targets
• Muntsos_raspberrypi4 MuntsOS Embedded Linux support for RaspberryPi4 targets
• Muntsos_raspberrypi5 MuntsOS Embedded Linux support for RaspberryPi5 targets

• A0b_armv7m ARMv7-M support (Cortex-M3, Cortex-M4, Cortex-M7)
• A0b_armv7m_systick_clock A0B Monotonic Clock by ARMv7M SysTick

• Enet Ada Embedded Network Stack

• Bit_sets A packed boolean array that saves space and is performant

• Braillart Use Braille patterns as a dot-matrix printer

• Braillart Use Braille patterns as a dot-matrix printer

• Libkeccak SHA-3 and related algorithms

• Umwi Unicode Monospace Width Information

• Adacl Ada Class Library (String, Trace, AUnit, Smart Pointer. GetOpt)

• Astro Library for astronomical calculations
• Ephemeris Library for reading astronomical ephemerides from JPL DE200 files

• Atari_atr_tools Atari / SIO2PC tools for ATR-files
• Atari_exe_tools Atari tools for for handling EXE-files

• Samd51_hal Drivers and HAL for the SAMD51 micro-controller family

• Orka_plugin_atmosphere Orka plug-in for precomputed atmospheric scattering

• Atomic Standalone Ada/SPARK bindings to GCC atomic built-ins

• 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
• Light_arduino_due Arduino Due Board Support Package for `light` GNAT Runtime

• Samd51_hal Drivers and HAL for the SAMD51 micro-controller family

• Asfml Ada binding to SFML, the Simple and Fast Multimedia Library
• Audio_base Basic Ada packages for audio applications
• Audio_wavefiles Ada Wavefile Library
• Canberra_ada Ada 2012 bindings for libcanberra
• Linux_hal HAL drivers for Linux userspace
• Musicplayer A Music Player
• Tresses Synth library inspired by Mutable Instruments Braids
• Virtapu A virtual Audio Processing Unit to simulate 8-bit era game sounds

• Adacl Ada Class Library (String, Trace, AUnit, Smart Pointer. GetOpt)

• Security Security Library for HTTP client and server with OAuth2 support

• Automate Ada finite-state machine generator

• 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

• Orka_simd Bindings for x86 SIMD extensions like SSE, AVX2, FMA, F16C

• Aws Ada Web Server

• Orka OpenGL 4.6 rendering kernel written in Ada 2012
• Orka_opengl OpenGL 4.6 backend for the Orka rendering engine

• Azip AZip - A portable Zip Archive Manager

B

• Bar_codes Generate various types of bar codes (1D or 2D) on various media

• Bar_codes Generate various types of bar codes (1D or 2D) on various media

• Bar_code_drawing Creation of bar codes and qr codes
• Bar_codes Generate various types of bar codes (1D or 2D) on various media

• Base64 Base64 encoding/decoding routines

• Microbit_bsp Board Support Package for the BBC micro:bit v1

• Rpio Driver for the BCM2835's GPIO, as seen on the Raspberry Pi

• Libsimpleio Linux Simple I/O Library
• Muntsos_beaglebone MuntsOS Embedded Linux support for BeagleBone targets

• Utilada Utility Library with streams, processes, logs, serialization, encoders

• Geo_coords Geo coordinates calculation for determining Location, Distance, Bearing

• Specfun Native Ada library of special functions (e.g., beta, gamma)

• Specfun Native Ada library of special functions (e.g., beta, gamma)

• Byteflippers Signed/modular types for system, big and little endian reading/writing.

• Controlled_io Files that are open while they exist and closed when they don't

• Binary_trees Ordered binary trees implemented without access types

• Ada_lua An Ada binding for lua
• Asfml Ada binding to SFML, the Simple and Fast Multimedia Library
• Chipmunk2d Ada bindings for Chipmunk2D
• Cre8or_generic_image_handling Generic image file and data handling using stb_images
• Cre8or_generic_image_handling_example Generic image handling example project
• Esp_idf Ada binding for the ESP-IDF SDK
• Ncursesada Ada binding to the ncurses text user interface library
• Openglada Thick Ada binding for OpenGL
• Openglada_glfw GLFW binding for use with OpenGLAda
• Raylib Ada bindings for Raylib
• Zeromq_ada An Ada-binding the ØMQ library

• Admpfr Ada bindings for MPFR
• Florist_blady POSIX Ada Bindings
• Gnatcoll_gmp GNAT Components Collection - GNU Multiple Precision Arithmetic binding
• Gnatcoll_iconv GNAT Components Collection - iconv binding
• Gnatcoll_lzma GNAT Components Collection - lzma binding
• Gnatcoll_omp GNAT Components Collection - OpenMP binding
• Gnatcoll_python GNAT Components Collection - python2 binding
• Gnatcoll_python3 GNAT Components Collection - python3 binding
• Gnatcoll_readline GNAT Components Collection - readline binding
• Gnatcoll_syslog GNAT Components Collection - syslog binding
• Gnatcoll_zlib GNAT Components Collection - zlib binding
• Intl NLS thin Ada binding
• Magicada Magic Number Recognition Library Ada binding
• Secretada Secret service Ada binding

• Bingada Bingo application in GTKAda with sound in ASFML

• Bbqueue DMA friendly lock-free BipBuffer

• Bit_sets A packed boolean array that saves space and is performant

• Adl_middleware Middleware layer of the Ada Drivers Library project
• Gid Generic Image Decoder - decode a broad variety of image formats
• St7789 SPI based driver for the ST7789 TFT display
• Tiny_text Low resolution bitmap font with a small memory footprint

• Bbt Black box test runner

• Blink_led_blackpill_stm32f401 Blink LED demo for BlackPill STM32F401
• Button_led_blackpill_stm32f401 Key/LED demo for BlackPill STM32F401
• Light_blackpill_stm32f401 BlackPill STM32F401 BSP for `light` GNAT Runtime

• B2ssum BLAKE2s file hash utility
• Blake2s SPARK83 implementation of the BLAKE2s hash function

• B2ssum BLAKE2s file hash utility
• Blake2s SPARK83 implementation of the BLAKE2s hash function

• Gnat_math_extensions Eigenvalues, eigenvectors for non-symmetric, non-Hermitian matrices

• Nrf5x_hal Drivers and HAL for the Nordic nRF5X micro-controller family

• Awa Ada Web Application

• Bar_code_drawing Creation of bar codes and qr codes
• Gid Generic Image Decoder - decode a broad variety of image formats
• Image_io Output in BMP,PPM,QOI;input in BMP,GIF,JPG,PNG,PNM,QOI,TGA

• Anagram Grammar handling and parser generation Ada library

• Bit_sets A packed boolean array that saves space and is performant
• Dirty_booleans Comparisons with 0/1, T/F, Y/N, Yes/No, etc.

• Chests Chests are bounded containers

• Braillart Use Braille patterns as a dot-matrix printer

• Itsybitsy_bsp Board support package for Arduino ItsyBitsy
• Itsybitsy_rp2040_bsp Board support package for Arduino ItsyBitsy RP2040
• Light_arduino_due Arduino Due Board Support Package for `light` GNAT Runtime
• Light_blackpill_stm32f401 BlackPill STM32F401 BSP for `light` GNAT Runtime
• Light_fk723m1_zgt6 FK723M1-ZGT6 BSP for `light` GNAT Runtime
• Light_weact_stm32g474 WeAct STM32G474 BSP for `light` GNAT Runtime
• Microbit_bsp Board Support Package for the BBC micro:bit v1
• Pico_bsp Board support package for Raspberry Pi Pico
• Pygamer_bsp Board Support Package for the AdaFruit PyGamer
• Tiny_rp2040_bsp Board support package for Pimoroni Tiny RP2040

• Octet_memory_stream Provides a Root_Stream_Type wrapper over an array of octets in memory.

• A0b_base A0B: Base components

• Byteflippers Signed/modular types for system, big and little endian reading/writing.
• Octet_memory_stream Provides a Root_Stream_Type wrapper over an array of octets in memory.

• Zipada Manage Zip Archives and raw BZip2 and LZMA streams

C

• C_strings Manage Ada <-> C string conversions conveniently

• Texcad TeXCAD is a program for drawing or retouching {picture}s in LaTeX

• Hp41cx_tools HP-41CX emulator Tools

• A0b_callbacks A0B Callbacks

• Image_random True random numbers from a digital camera

• Canberra_ada Ada 2012 bindings for libcanberra

• Pragmarc The PragmAda Reusable Components

• Ada_caser Applies casing rules to Ada source code.

• Matreshka_xml Library to manipulate with XML streams and documents

• Ini_files A standalone, portable Ada package for configuration files

• Ini_files A standalone, portable Ada package for configuration files

• Matreshka_fastcgi FastCGI implementation (demo)

• Chacha20 ChaCha20 implementation in Ada.

• Bingada Bingo application in GTKAda with sound in ASFML

• Printer_toolkit Printer toolkit to write reports

• Weechat_ada Ada 2012 library for WeeChat plug-ins

• Checksum Algorithms for error-checking

• Adabots Learn Ada by programming Minecraft robots

• Suika_programing Suika game clone with programing languages

• Webdriver Web Browser control API

• Stopwatch Keep track of elapsed time

• Raiden An Ada implemenetation of a block cipher called Raiden.

• File_formats_java_class File format reader for the Java programming language CLASS file format

• Clic Command Line Interface Components
• Gnatcoll_readline GNAT Components Collection - readline binding
• Parse_args An Ada 2012 package to parse command line arguments and options

• Coap_client Client program for the CoAP-SPARK library
• Rclada ROS2 Ada Client Library
• Rclada_examples ROS2 Ada Client Library - Examples
• Wayland_client_ada Ada 2012 bindings for libwayland-client and the Wayland protocol

• Umwi Unicode Monospace Width Information

• 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

• Bar_codes Generate various types of bar codes (1D or 2D) on various media
• Septum An interactive context-based text search tool for large codebases.

• Bar_code_drawing Creation of bar codes and qr codes
• Bar_codes Generate various types of bar codes (1D or 2D) on various media

• Globe_3d GLOBE_3D: GL Object Based Engine for 3D

• Gid Generic Image Decoder - decode a broad variety of image formats

• Umwi Unicode Monospace Width Information

• Ashell Allows running and interacting with OS programs.

• Adacl Ada Class Library (String, Trace, AUnit, Smart Pointer. GetOpt)
• Clic Command Line Interface Components
• Cmd_ada Command based text UI, inspired by Python cmd module
• Parse_args An Ada 2012 package to parse command line arguments and options
• Progress_indicators Ways of displaying progress in command line tools.
• Rsfile Randomly pick a file with probability proportional to its size
• Trendy_terminal Terminal options, setup, tab completion and hinting.

• Markdown Markdown parser (draft)

• Dirty_booleans Comparisons with 0/1, T/F, Y/N, Yes/No, etc.

• Emacs_wisi Ada code for Emacs wisi ELPA package

• Hac HAC Ada Compiler: a small, quick Ada compiler covering a subset of Ada

• Gnatcoll_lzma GNAT Components Collection - lzma binding
• Gnatcoll_zlib GNAT Components Collection - zlib binding
• Lzmada Ada LZMA Library Binding
• Z_compression Standalone version of the Zlib Deflate compression algorithm
• Zipada Manage Zip Archives and raw BZip2 and LZMA streams

• Cgk Computational Geometry Kernel

• Orka_tensors_gpu Tensors using compute shaders on the GPU

• Adabots Learn Ada by programming Minecraft robots

• Dotenv Loads environment variables from .env for Ada projects.
• Ini_files A standalone, portable Ada package for configuration files

• Ini_files A standalone, portable Ada package for configuration files

• Aaa_texts Utilities to deal with enriched human texts (ANSI, Unicode)
• Cbsg Corporate Bullshit Generator library
• Dummyserver DummyServer is a terminal program that serves dummy content
• Printer_toolkit Printer toolkit to write reports
• Progress_indicators Ways of displaying progress in command line tools.
• Pygamer_bsp Board Support Package for the AdaFruit PyGamer
• Pygamer_simulator SDL simulator of the AdaFruit PyGamer console
• Trendy_terminal Terminal options, setup, tab completion and hinting.
• Wordle Wordle for the terminal
• Wordlelib Library to track progress in a game of Wordle

• Adacl Ada Class Library (String, Trace, AUnit, Smart Pointer. GetOpt)
• Dcf Ada 2012 library for document container files, Zip-based archive files
• List_image helper to dump iterable containers with customizable style
• Zipdcf Tools that can (un)zip document container files, Zip-based archive files

• Chests Chests are bounded containers
• Minimal_containers Much reduced version of Ada.Containers (bounded Maps, Vectors)
• Pragmarc The PragmAda Reusable Components
• Stephes_ada_library Stephe's Ada library; miscellaneous useful stuff.
• Yeison A JSON-like data structure using Ada 2022 features
• Yeison_12 A JSON-like data structure (Ada 2012 version)

• Mathpaqs A collection of mathematical, 100% portable, packages

• Mathpaqs A collection of mathematical, 100% portable, packages

• Webdriver Web Browser control API

• Controlled_io Files that are open while they exist and closed when they don't

• C_strings Manage Ada <-> C string conversions conveniently
• Lml Lightweight Markup Language conversions

• Pragmarc The PragmAda Reusable Components

• Geo_coords Geo coordinates calculation for determining Location, Distance, Bearing

• Task_coroutines Coroutines and generators using only standard tasking features

• Sciada Collection of Scientific Operations

• A0b_armv7m ARMv7-M support (Cortex-M3, Cortex-M4, Cortex-M7)

• A0b_armv7m ARMv7-M support (Cortex-M3, Cortex-M4, Cortex-M7)

• A0b_armv7m ARMv7-M support (Cortex-M3, Cortex-M4, Cortex-M7)

• A0b_armv7m ARMv7-M support (Cortex-M3, Cortex-M4, Cortex-M7)

• Iso ISO Standard references for Ada such as 1366 & 4217 (Country & Currency)

• Gnatcov Coverage Analysis Tool

• Loadcpm Write CP/M (or other similar binary) to floppy disk image

• Bbs_simcpu CPU Simulator for multiple CPUs
• Simcpucli CLI for CPU simulator

• Checksum Algorithms for error-checking
• Crc_32 Cyclic Redundancy Check to verify data integrity (ISO 3309)
• Libcrc Cyclic Redundancy Check (CRC) Library

• Checksum Algorithms for error-checking
• Libcrc Cyclic Redundancy Check (CRC) Library

• Cre8or_generic_image_handling Generic image file and data handling using stb_images
• Cre8or_generic_image_handling_example Generic image handling example project

• Asfml Ada binding to SFML, the Simple and Fast Multimedia Library
• Honki_tonks_zivilisationen The Code of my 4X turn-based strategy game.
• Play_2048 2048 game: merge tiles with the same number until you add up to 2048
• Sdlada Ada 2012 SDL 2.x bindings.

• Bigints Experimental SPARK Constant Time Big Integer library
• Chacha20 ChaCha20 implementation in Ada.
• Fastpbkdf2_ada Binding and an Ada wrapper to fastpbkdf2
• Hmac HMAC implemented in Ada
• Libkeccak SHA-3 and related algorithms
• Pbkdf2 PBKDF2 implemented in Ada
• Raiden An Ada implemenetation of a block cipher called Raiden.
• Saatana SPARK/Ada Algorithms Targeting Advanced Network Applications
• Sha1 Secure Hash Algorithm 1 implemented in Ada
• Sha2 Secure Hash Algorithm 2 implemented in Ada
• Sparknacl Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library
• System_random Minimal library to retrieve random data from system sources

• Libkeccak SHA-3 and related algorithms

• Excel_writer Produce Excel spreadsheets

• Iso ISO Standard references for Ada such as 1366 & 4217 (Country & Currency)

• Cashe A fixed-point decimal money library written in Ada.

• Sparknacl Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library

D

• Libsimpleio Linux Simple I/O Library
• Mcp2221 MCP2221 USB Raw HID I/O Expander Library for GNAT Ada
• Remoteio Remote I/O Protocol Client Library for GNAT Ada

• Dashera DASHER Terminal Emulator

• Crc_32 Cyclic Redundancy Check to verify data integrity (ISO 3309)
• Qplt An Ada-GUI program to quickly produce a plot of a data set

• Dg_loada dg_loada loads (restores) legacy DG AOS/VS DUMP_II files

• Bar_codes Generate various types of bar codes (1D or 2D) on various media

• Avltrees Threaded AVL trees library for Ada

• 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)
• Db_maker A generic for creating simple DBs (one table in an RDBMS)
• Dynamo Dynamo Ada Generator
• Gnatcoll_postgres GNAT Components Collection - postgres
• Gnatcoll_sql GNAT Components Collection - sql
• Gnatcoll_sqlite GNAT Components Collection - sqlite
• Gnatcoll_xref GNAT Components Collection - xref
• Lmdb_ada Bindings to the Lightning Memory-Mapped Database
• Matreshka_sql Common SQL Database API
• Matreshka_sql_firebird Firebird SQL binding for Ada
• Matreshka_sql_mysql MySQL binding for Ada
• Matreshka_sql_oracle Oracle DB binding for Ada
• Matreshka_sql_postgresql PostgreSQL binding for Ada
• Matreshka_sql_sqlite3 SQLite binding for Ada

• Bar_codes Generate various types of bar codes (1D or 2D) on various media

• Pragmarc The PragmAda Reusable Components

• Matreshka_sql Common SQL Database API
• Matreshka_sql_firebird Firebird SQL binding for Ada
• Matreshka_sql_mysql MySQL binding for Ada
• Matreshka_sql_oracle Oracle DB binding for Ada
• Matreshka_sql_postgresql PostgreSQL binding for Ada
• Matreshka_sql_sqlite3 SQLite binding for Ada

• Orka_plugin_archives Orka plug-in to load resources from Zip archives

• Cashe A fixed-point decimal money library written in Ada.

• Cards 52-card deck playing card library

• Gid Generic Image Decoder - decode a broad variety of image formats

• Utilada Utility Library with streams, processes, logs, serialization, encoders

• Gid Generic Image Decoder - decode a broad variety of image formats

• Gid Generic Image Decoder - decode a broad variety of image formats

• Gnatcoll_zlib GNAT Components Collection - zlib binding
• Z_compression Standalone version of the Zlib Deflate compression algorithm
• Zipada Manage Zip Archives and raw BZip2 and LZMA streams

• Avrada_examples Sample applications in Ada for AVR microcontrollers
• Blink_led_arduino_due Blink LED demo for Arduino Due
• Blink_led_blackpill_stm32f401 Blink LED demo for BlackPill STM32F401
• Blink_led_weact_stm32g474 Blink LED demo for WeAct STM32G474
• Button_led_arduino_due Key/LED demo for Arduino Due
• Button_led_blackpill_stm32f401 Key/LED demo for BlackPill STM32F401
• Button_led_weact_stm32g474 Key/LED demo for WeAct STM32G474
• Hello 'Hello, world!' demonstration project
• Libhello Basic library demonstration project
• Mage_hat A hat that jumps around and behaves magically

• Dependency_graph_extractor Extract dependency information from Ada projects

• Bbs_embed_linux Physical device drivers for Raspberry Pi and BeagleBone Black

• Dg_loada dg_loada loads (restores) legacy DG AOS/VS DUMP_II files

• Enet Ada Embedded Network Stack

• Matreshka_amf_dd Diagram Definition (DD) specification support for AMF
• Matreshka_amf_mofext The UML mofext for AMF
• Matreshka_amf_ocl The UML OCL for AMF
• Matreshka_amf_uml Unified Modeling Language support for AMF
• Matreshka_amf_utp The UML Testing Profile for AMF

• Gid Generic Image Decoder - decode a broad variety of image formats

• Dir_iterators Ways of moving around directory trees

• Ashell Allows running and interacting with OS programs.

• Dirty_booleans Comparisons with 0/1, T/F, Y/N, Yes/No, etc.

• St7789 SPI based driver for the ST7789 TFT display

• Geo_coords Geo coordinates calculation for determining Location, Distance, Bearing
• Levenshtein_distance Implementation of levenshtein distance.
• Pico_ultrasonic_ranger Driver for the Grove ultrasonic ranger. Depends on the RP Pico HAL.

• Garlic GNAT Library for Ada Distributed Environment (garlic)
• Gnatdist_garlic The configuration tool gnatdist for GARLIC
• Zeromq_ada An Ada-binding the ØMQ library

• Hp41cx_tools HP-41CX emulator Tools

• A0b_stm32f401_dma A0B: STM32F401 DMA
• Bbqueue DMA friendly lock-free BipBuffer

• Enet Ada Embedded Network Stack

• Dcf Ada 2012 library for document container files, Zip-based archive files
• Zipdcf Tools that can (un)zip document container files, Zip-based archive files

• Gnatdoc GNAT Documentation Generation Tool
• Libgnatdoc GNAT Documentation Generation Tool (as a library)
• Ptf Portable Text Formatter
• X1804 Translate MIL-HDBK-1804 PDL into Section 4 of the DoD-STD-2167A SDD

• Matreshka_xml Library to manipulate with XML streams and documents

• Wikiada Wiki Engine with parser and renderer for several wiki syntaxes

• Dotenv Loads environment variables from .env for Ada projects.

• Texcad TeXCAD is a program for drawing or retouching {picture}s in LaTeX

• Texcad TeXCAD is a program for drawing or retouching {picture}s in LaTeX

• Bme280 Driver for BME280 Humidity sensor
• Enet_stm32 ENet driver for STM32
• Ethernet Root crate for ethernet namespace and MDIO/SMI/MIIM interface
• Hmc5883 Driver for HMC5883L magnetic sensor
• Qmc5883 Driver for QMC5883L magnetic sensor
• St7789 SPI based driver for the ST7789 TFT display

• Avrada_lib Library of drivers for AVR microcontrollers
• Nrf5x_hal Drivers and HAL for the Nordic nRF5X micro-controller family
• Rp2040_hal Drivers and HAL for the RP2040 micro-controller family
• Samd51_hal Drivers and HAL for the SAMD51 micro-controller family
• St7789 SPI based driver for the ST7789 TFT display
• Stm32f0x2_hal Drivers and HAL for stm32f0x2 mcu family

• Mavlink_common MAVLink -- Micro Air Vehicle Message Marshalling Library.

• Garlic GNAT Library for Ada Distributed Environment (garlic)
• Gnatdist_garlic The configuration tool gnatdist for GARLIC

• Hnumerics Operations for dual numbers

• 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
• Blink_led_arduino_due Blink LED demo for Arduino Due
• Button_led_arduino_due Key/LED demo for Arduino Due
• Light_arduino_due Arduino Due Board Support Package for `light` GNAT Runtime

• Uxstrings Unicode Extended Strings utilities

E

• Bar_code_drawing Creation of bar codes and qr codes
• Bar_codes Generate various types of bar codes (1D or 2D) on various media

• Orka_plugin_atmosphere Orka plug-in for precomputed atmospheric scattering

• Umwi Unicode Monospace Width Information

• Anagram Grammar handling and parser generation Ada library

• Get_password Read a string without echo, in password-like style

• Sparknacl Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library

• Toml_slicer Edit TOML files directly without parsing

• Ada_caser Applies casing rules to Ada source code.
• Lea LEA is a Lightweight Editor for Ada
• Lined Ada Implementation of the Line Editor from Software Tools
• Lsystem_editor L-Systems editor in Ada

• Learnadainy Learn Ada in Y Minutes

• Eeprom_i2c EEPROM I2C drivers library for embedded platforms

• Orka OpenGL 4.6 rendering kernel written in Ada 2012
• Orka_awt Ada Window Toolkit
• Orka_egl Ada 2012 bindings for EGL
• Orka_opengl OpenGL 4.6 backend for the Orka rendering engine
• Wayland_ada_scanner A tool to generate thick Ada 2012 bindings for Wayland protocols
• Wayland_egl_ada Ada 2012 bindings for libwayland-egl

• Elevator A Simple Elevator System

• Conic_fit Least squares fitting of quadratic curves and surfaces

• Emacs_ada_mode Parser for Emacs ada-mode
• Emacs_gpr_mode parser for Emacs gpr mode
• Emacs_gpr_query Emacs xref backend using information output by GNAT compiler.
• Emacs_wisi Ada code for Emacs wisi ELPA package
• Emacs_wisitoken_grammar_mode parser for Emacs wisitoken-grammar mode

• Gnatcoll GNAT Components Collection - Core packages

• 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_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
• Adl_middleware Middleware layer of the Ada Drivers Library project
• Atomic Standalone Ada/SPARK bindings to GCC atomic built-ins
• 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
• Bare_runtime Minimal Ada/SPARK run-time for embedded or other restricted targets
• Basalt Collection of formally verified building blocks
• Bb_pico_bsp Ada BSP for the Keyboard Featherwing + RPI PICO
• Bbqueue DMA friendly lock-free BipBuffer
• Bbs_embed_common Abstract hardware drivers and drivers for some i2c bus devices.
• Bbs_embed_linux Physical device drivers for Raspberry Pi and BeagleBone Black
• Bbs_lisp Embedable tiny lisp interpreter
• Bbs_webif Simple web server to provide an interface to embedded instruments
• Blink_led_arduino_due Blink LED demo for Arduino Due
• Blink_led_blackpill_stm32f401 Blink LED demo for BlackPill STM32F401
• Blink_led_weact_stm32g474 Blink LED demo for WeAct STM32G474
• Blinkenlights Project to blink LEDs in interesting patterns
• Button_led_arduino_due Key/LED demo for Arduino Due
• Button_led_blackpill_stm32f401 Key/LED demo for BlackPill STM32F401
• Button_led_weact_stm32g474 Key/LED demo for WeAct STM32G474
• Chests Chests are bounded containers
• Cobs Consistent Overhead Byte Stuffing (COBS) encoder/decoder
• Cortex_m Drivers for Cortex-M micro-controllers (NVIC, SysTick, etc.)
• Edc_client Client library for: github.com/hgrodriguez/embedded-dashboard-console
• Eeprom_i2c EEPROM I2C drivers library for embedded platforms
• Elogs Embedded logging, proven absent of runtime errors
• Embedded_components Platform agnostic drivers to interface external components
• Embedded_nrf52832 embedded runtime for the nRF52832 SoC
• Embedded_nrf52833 embedded runtime for the nRF52833 SoC
• Embedded_nrf52840 embedded runtime for the nRF52840 SoC
• Embedded_stm32f0xx embedded runtime for the STM32F0xx SoC
• Embedded_stm32g0xx embedded runtime for the STM32G0xx SoC
• Embedded_stm32g4xx embedded runtime for the STM32G4xx SoC
• Esp_idf Ada binding for the ESP-IDF SDK
• Hal Hardware Abstraction Layer (HAL)
• Hex_format Hexadecimal string formatting for modular types
• Itsybitsy_bsp Board support package for Arduino ItsyBitsy
• Itsybitsy_rp2040_bsp Board support package for Arduino ItsyBitsy RP2040
• Libsimpleio Linux Simple I/O Library
• Light_arduino_due Arduino Due Board Support Package for `light` GNAT Runtime
• Light_blackpill_stm32f401 BlackPill STM32F401 BSP for `light` GNAT Runtime
• Light_fk723m1_zgt6 FK723M1-ZGT6 BSP for `light` GNAT Runtime
• Light_nrf52832 light runtime for the nRF52832 SoC
• Light_nrf52833 light runtime for the nRF52833 SoC
• Light_nrf52840 light runtime for the nRF52840 SoC
• Light_stm32f0xx light runtime for the STM32F0xx SoC
• Light_stm32g0xx light runtime for the STM32G0xx SoC
• Light_stm32g4xx light runtime for the STM32G4xx SoC
• Light_tasking_nrf52832 light-tasking runtime for the nRF52832 SoC
• Light_tasking_nrf52833 light-tasking runtime for the nRF52833 SoC
• Light_tasking_nrf52840 light-tasking runtime for the nRF52840 SoC
• Light_tasking_stm32f0xx light-tasking runtime for the STM32F0xx SoC
• Light_tasking_stm32g0xx light-tasking runtime for the STM32G0xx SoC
• Light_tasking_stm32g4xx light-tasking runtime for the STM32G4xx SoC
• Light_weact_stm32g474 WeAct STM32G474 BSP for `light` GNAT Runtime
• Linux_hal HAL drivers for Linux userspace
• Littlefs Ada/SPARK binding for the LittleFS flash embedded filesystem
• Ltp_305 Driver for Pimoroni LED
• Lvgl_ada Bindings for the LVGL embedded GUI framework
• Mavlink_common MAVLink -- Micro Air Vehicle Message Marshalling Library.
• Mcp2221 MCP2221 USB Raw HID I/O Expander Library for GNAT Ada
• Microbit_bsp Board Support Package for the BBC micro:bit v1
• Microbit_examples Examples and tutorials for Ada on the BBC micro:bit
• Midi Library to encode and decode MIDI messages
• Minisamd51_bsp Board Support Package for the MiniSAM D51
• Minisamd51_example Example project for the MiniSAM D51
• Muntsos_aarch64 MuntsOS Embedded Linux support for AArch64 targets
• Muntsos_beaglebone MuntsOS Embedded Linux support for BeagleBone targets
• Muntsos_raspberrypi1 MuntsOS Embedded Linux support for RaspberryPi1 targets
• Muntsos_raspberrypi2 MuntsOS Embedded Linux support for RaspberryPi2 targets
• Muntsos_raspberrypi3 MuntsOS Embedded Linux support for RaspberryPi3 targets
• Muntsos_raspberrypi4 MuntsOS Embedded Linux support for RaspberryPi4 targets
• Muntsos_raspberrypi5 MuntsOS Embedded Linux support for RaspberryPi5 targets
• Nrf5x_hal Drivers and HAL for the Nordic nRF5X micro-controller family
• Pico_bsp Board support package for Raspberry Pi Pico
• Pico_examples Examples for Ada on the Raspberry Pi Pico
• Pygamer_bsp Board Support Package for the AdaFruit PyGamer
• Remoteio Remote I/O Protocol Client Library for GNAT Ada
• Rp2040_hal Drivers and HAL for the RP2040 micro-controller family
• Samd51_hal Drivers and HAL for the SAMD51 micro-controller family
• Sh1107 Driver for the SH1107/OLED 128x128 monochrome display
• Slip SLIP Protocol Implementation
• Softdev Serial protocols implemented in software
• St7789 SPI based driver for the ST7789 TFT display
• Startup_gen Generates startup files (crt0 and linker script)
• Stm32f0x2_hal Drivers and HAL for stm32f0x2 mcu family
• Tiny_rp2040_bsp Board support package for Pimoroni Tiny RP2040
• Tresses Synth library inspired by Mutable Instruments Braids
• Usb_embedded An Ada USB stack for embedded devices
• Webif_example Example usage of simple web interface library.
• Wioe5_ham1 Wio-E5 LoRa Transceiver Module Device Driver
• Wioe5_ham2 Wio-E5 LoRa Transceiver Module Device Driver
• Wioe5_p2p Wio-E5 LoRa Transceiver Module P2P Mode Device Driver
• Wolfssl WolfSSL encryption library and its Ada bindings

• Are Advanced Resource Embedder

• Emojis A library to replace names between colons with emojis
• Umwi Unicode Monospace Width Information

• Umwi Unicode Monospace Width Information

• Simh_tapes Library to handle SimH Standard magnetic tape image files

• Dashera DASHER Terminal Emulator

• Utilada Utility Library with streams, processes, logs, serialization, encoders

• Matreshka_league League - universal string library. Part of Matreshka framework
• Qoi Ada/SPARK implementation of the Quite Ok Image format
• Texts A no-frills library to deal with Unicode texts in Ada 2012

• Pragmarc The PragmAda Reusable Components

• Byteflippers Signed/modular types for system, big and little endian reading/writing.

• Endianness Convenience subprograms to convert between Big- and Little-endianness

• Powerjoular Monitoring the power consumption of multiple platforms and processes

• Enet_stm32 ENet driver for STM32

• Mage Mini Ada Game Engine - A very simple game engine written in Ada
• Orka OpenGL 4.6 rendering kernel written in Ada 2012

• Wordlist An English word list

• Dotenv Loads environment variables from .env for Ada projects.

• Dotenv Loads environment variables from .env for Ada projects.

• Ephemeris Library for reading astronomical ephemerides from JPL DE200 files

• Epoll Linux epoll binding

• Checksum Algorithms for error-checking

• Checksum Algorithms for error-checking
• Libcrc Cyclic Redundancy Check (CRC) Library

• Ansiada ANSI escape sequences
• Bbs_ansiterm Generate Escape Sequences for ANSI terminals

• Esp_idf Ada binding for the ESP-IDF SDK

• Evdev Library for input devices and force-feedback using Linux' evdev API

• Cre8or_generic_image_handling_example Generic image handling example project

• Excel_writer Produce Excel spreadsheets

• Exsytrawo Exception Symbolic Traceback Workaround for macOS

• Parallelize Execute multiple commands in parallel

• Elada Expression Language Library (JSR245)

• Elada Expression Language Library (JSR245)

• A0b_exti A0B: EXTI API
• A0b_stm32f2_generic_exti A0B: STM32F2+ Generic EXTI
• A0b_stm32f401_gpio A0B: STM32F401 GPIO/EXTI
• A0b_stm32g474_gpio A0B: STM32G474 GPIO/EXTI
• A0b_stm32g4_gpio A0B: STM32G4 GPIO

• Dependency_graph_extractor Extract dependency information from Ada projects

F

• Orka_simd Bindings for x86 SIMD extensions like SSE, AVX2, FMA, F16C

• Serverfaces_unit Web Server Faces JSR 252, JSR 314 and JSR 344 (Testing framework)

• Bingada Bingo application in GTKAda with sound in ASFML

• Adl_middleware Middleware layer of the Ada Drivers Library project

• Bb_pico_bsp Ada BSP for the Keyboard Featherwing + RPI PICO

• Emdee Performance assistant for Musical Directors

• File_formats_java_class File format reader for the Java programming language CLASS file format
• Magicada Magic Number Recognition Library Ada binding

• Azip AZip - A portable Zip Archive Manager

• Rsfile Randomly pick a file with probability proportional to its size

• Controlled_io Files that are open while they exist and closed when they don't
• Dir_iterators Ways of moving around directory trees

• Littlefs Ada/SPARK binding for the LittleFS flash embedded filesystem

• Cashe A fixed-point decimal money library written in Ada.

• Matreshka_sql_firebird Firebird SQL binding for Ada

• Conic_fit Least squares fitting of quadratic curves and surfaces

• Light_fk723m1_zgt6 FK723M1-ZGT6 BSP for `light` GNAT Runtime

• Emdee Performance assistant for Musical Directors

• Getopt POSIX getopt(3) for Ada

• Littlefs Ada/SPARK binding for the LittleFS flash embedded filesystem

• Byteflippers Signed/modular types for system, big and little endian reading/writing.

• Admpfr Ada bindings for MPFR

• Florist_blady POSIX Ada Bindings

• Orka_simd Bindings for x86 SIMD extensions like SSE, AVX2, FMA, F16C

• Tiny_text Low resolution bitmap font with a small memory footprint

• Freetypeada Thick binding to the FreeType library
• Openglada_text Text rendering library for OpenGLAda

• Evdev Library for input devices and force-feedback using Linux' evdev API

• Format_strings Build and print formatted strings
• Hex_format Hexadecimal string formatting for modular types
• Prettier_ada Port of the Prettier formatter to Ada
• Universal_text_file Proposed universal format for Unicode text files

• File_formats_java_class File format reader for the Java programming language CLASS file format

• Prettier_ada Port of the Prettier formatter to Ada

• Format_strings Build and print formatted strings
• Gnatformat Opinionated code formatter for the Ada language
• Libadalang_tools Ada semantic analysis library extension and tools
• Libgnatformat opinionated code format library for the Ada language
• Si_units Pretty print physical values in properly scaled metric (SI) units.

• Mathpaqs A collection of mathematical, 100% portable, packages

• Mathpaqs A collection of mathematical, 100% portable, packages

• St7789 SPI based driver for the ST7789 TFT display

• Awa Ada Web Application
• Awa_unit Ada Web Application (Testing framework)
• Serverfaces_unit Web Server Faces JSR 252, JSR 314 and JSR 344 (Testing framework)

• Iterators Functional iterators a la Rust
• Optional Optional values a la java.lang.Optional

G

• Bingada Bingo application in GTKAda with sound in ASFML
• Cards 52-card deck playing card library
• Eagle_lander Apollo 11 lunar lander simulator
• Geste GEneric Sprite and Tile Engine
• Honki_tonks_zivilisationen The Code of my 4X turn-based strategy game.
• Mage Mini Ada Game Engine - A very simple game engine written in Ada
• Mage_hat A hat that jumps around and behaves magically
• Mine_detector The Gnoga/Ada-GUI version of Mine Detector
• Orka OpenGL 4.6 rendering kernel written in Ada 2012
• Play_2048 2048 game: merge tiles with the same number until you add up to 2048
• Pygamer_bsp Board Support Package for the AdaFruit PyGamer
• Pygamer_simulator SDL simulator of the AdaFruit PyGamer console
• Shoot_n_loot Platform game for the AdaFruit PyGamer console
• Suika_programing Suika game clone with programing languages
• Tiled_code_gen Generate GESTE data from Tiled maps and tilesets
• Virtapu A virtual Audio Processing Unit to simulate 8-bit era game sounds
• Wordle Wordle for the terminal
• Wordlelib Library to track progress in a game of Wordle

• Chipmunk2d Ada bindings for Chipmunk2D
• Cre8or_generic_image_handling Generic image file and data handling using stb_images
• Cre8or_generic_image_handling_example Generic image handling example project
• Raylib Ada bindings for Raylib
• Sdlada Ada 2012 SDL 2.x bindings.
• Tiled_code_gen Generate GESTE data from Tiled maps and tilesets

• Orka_awt Ada Window Toolkit

• Asfml Ada binding to SFML, the Simple and Fast Multimedia Library
• Sdlada Ada 2012 SDL 2.x bindings.

• Specfun Native Ada library of special functions (e.g., beta, gamma)

• Aicwl Ada Industrial Control Widgets Library

• Wisitoken Generalized error correcting LALR and packrat parser generator

• Ada_pretty Ada Pretty Printer Library
• Aflex An Ada Lexical Analyzer Generator
• Anagram Grammar handling and parser generation Ada library
• Are Advanced Resource Embedder
• Automate Ada finite-state machine generator
• Ayacc An Ada LARL(1) parser generator
• Dynamo Dynamo Ada Generator
• Libadalang_tools Ada semantic analysis library extension and tools
• Protobuf Google Protocol Buffers implementation in Ada
• Task_coroutines Coroutines and generators using only standard tasking features
• Wisitoken Generalized error correcting LALR and packrat parser generator
• Yass Static website generator

• Geo_coords Geo coordinates calculation for determining Location, Distance, Bearing

• Cgk Computational Geometry Kernel

• Tiled_code_gen Generate GESTE data from Tiled maps and tilesets

• Getopt POSIX getopt(3) for Ada

• Markdown Markdown parser (draft)

• Bbt Black box test runner

• Easy_graphics Very Simple Graphics Package
• Gid Generic Image Decoder - decode a broad variety of image formats
• Image_io Output in BMP,PPM,QOI;input in BMP,GIF,JPG,PNG,PNM,QOI,TGA

• Libkeccak SHA-3 and related algorithms

• Globe_3d GLOBE_3D: GL Object Based Engine for 3D

• Garlic GNAT Library for Ada Distributed Environment (garlic)
• Gnatdist_garlic The configuration tool gnatdist for GARLIC

• Openglada_glfw GLFW binding for use with OpenGLAda

• Spawn_glib A simple library to spawn processes and communicate with them.

• Orka OpenGL 4.6 rendering kernel written in Ada 2012
• Orka_plugin_gltf Orka plug-in for loading glTF models
• Orka_tools Tools for the Orka rendering kernel

• Gnatcoll_gmp GNAT Components Collection - GNU Multiple Precision Arithmetic binding

• Gnatcoll GNAT Components Collection - Core packages
• Gnatcoll_gmp GNAT Components Collection - GNU Multiple Precision Arithmetic binding
• Gnatcoll_iconv GNAT Components Collection - iconv binding
• Gnatcoll_lzma GNAT Components Collection - lzma binding
• Gnatcoll_omp GNAT Components Collection - OpenMP binding
• Gnatcoll_postgres GNAT Components Collection - postgres
• Gnatcoll_python GNAT Components Collection - python2 binding
• Gnatcoll_python3 GNAT Components Collection - python3 binding
• Gnatcoll_readline GNAT Components Collection - readline binding
• Gnatcoll_sql GNAT Components Collection - sql
• Gnatcoll_sqlite GNAT Components Collection - sqlite
• Gnatcoll_syslog GNAT Components Collection - syslog binding
• Gnatcoll_xref GNAT Components Collection - xref
• Gnatcoll_zlib GNAT Components Collection - zlib binding

• Gnatcoll_postgres GNAT Components Collection - postgres
• Gnatcoll_sql GNAT Components Collection - sql
• Gnatcoll_sqlite GNAT Components Collection - sqlite

• Libadalang_tools Ada semantic analysis library extension and tools

• Libadalang_tools Ada semantic analysis library extension and tools

• Libadalang_tools Ada semantic analysis library extension and tools

• Libadalang_tools Ada semantic analysis library extension and tools

• Ppag First steps with Gnoga

• Orka_tensors_gpu Tensors using compute shaders on the GPU

• A0b_atsam3x8e_gpio A0B ATSAM3X8E GPIO/EXTI
• A0b_gpio A0B GIOP API
• A0b_stm32f2_generic_gpio A0B: STM32F2+ Generic GPIO
• A0b_stm32f401_gpio A0B: STM32F401 GPIO/EXTI
• A0b_stm32g474_gpio A0B: STM32G474 GPIO/EXTI
• A0b_stm32g4_gpio A0B: STM32G4 GPIO
• Libsimpleio Linux Simple I/O Library
• Linux_hal HAL drivers for Linux userspace
• Mcp2221 MCP2221 USB Raw HID I/O Expander Library for GNAT Ada
• Remoteio Remote I/O Protocol Client Library for GNAT Ada
• Rpio Driver for the BCM2835's GPIO, as seen on the Raspberry Pi

• Emacs_gpr_mode parser for Emacs gpr mode
• Gnatcoll GNAT Components Collection - Core packages
• Gprbuild The GPRBuild Ada/multilanguage build tool

• Gprbuild The GPRBuild Ada/multilanguage build tool

• Nmea_0183 NMEA 0183 message decoder

• Orka_tensors_gpu Tensors using compute shaders on the GPU

• Aflex An Ada Lexical Analyzer Generator
• Anagram Grammar handling and parser generation Ada library
• Ayacc An Ada LARL(1) parser generator

• Dependency_graph_extractor Extract dependency information from Ada projects

• Umwi Unicode Monospace Width Information

• Aicwl Ada Industrial Control Widgets Library
• Asfml Ada binding to SFML, the Simple and Fast Multimedia Library
• Cre8or_generic_image_handling Generic image file and data handling using stb_images
• Cre8or_generic_image_handling_example Generic image handling example project
• Easy_graphics Very Simple Graphics Package
• Gfx_core Modular Portable Graphics Library, Core Components
• Gfx_rasteriser Modular Portable Graphics Library, Primitive's Rasteriser
• Globe_3d GLOBE_3D: GL Object Based Engine for 3D
• Labs_solar_system A set of SDL-based exercises to learn Ada
• Openglada Thick Ada binding for OpenGL
• Openglada_images Image loading library for OpenGLAda
• Orka OpenGL 4.6 rendering kernel written in Ada 2012
• Orka_awt Ada Window Toolkit
• Orka_opengl OpenGL 4.6 backend for the Orka rendering engine
• Texcad TeXCAD is a program for drawing or retouching {picture}s in LaTeX

• Dependency_graph_extractor Extract dependency information from Ada projects

• Pico_ultrasonic_ranger Driver for the Grove ultrasonic ranger. Depends on the RP Pico HAL.

• Adagl_gtk3 OpenGL/Gtk3 binding
• Aicwl Ada Industrial Control Widgets Library
• Bingada Bingo application in GTKAda with sound in ASFML
• Dashera DASHER Terminal Emulator
• Eagle_lander Apollo 11 lunar lander simulator
• Gtkada An Ada graphical toolkit based on Gtk+
• Lsystem_editor L-Systems editor in Ada

• Lsystem_editor L-Systems editor in Ada

• Lsystem_editor L-Systems editor in Ada
• Ppa_gtkada Tutorials for GTKAda

• Ada_gui An Ada-oriented GUI
• Gnoga gnoga - The GNU Omnificent GUI for Ada
• Gtkada An Ada graphical toolkit based on Gtk+
• Gwindows GWindows - Ada Framework for Windows Development
• Hexapod_simulation_telemetry Phoenyx Hexapod Simulation/Telemetry GUI
• Lsystem_editor L-Systems editor in Ada
• Lvgl_ada Bindings for the LVGL embedded GUI framework
• Lvgl_ada_examples Examples for the LVGL embedded GUI framework Ada binding
• Lvgl_ada_simulator Native simulator of an LVGL display
• Openglada_glfw GLFW binding for use with OpenGLAda

• Ulid Universally Unique Lexicographically Sortable Identifier
• Uuids Implementation of RFC 9562 Universally Unique IDentifiers (UUIDs)

H

• Hac HAC Ada Compiler: a small, quick Ada compiler covering a subset of Ada
• Lea LEA is a Lightweight Editor for Ada

• Hal Hardware Abstraction Layer (HAL)
• Linux_hal HAL drivers for Linux userspace
• Tiny_text Low resolution bitmap font with a small memory footprint

• Wioe5_ham1 Wio-E5 LoRa Transceiver Module Device Driver
• Wioe5_ham2 Wio-E5 LoRa Transceiver Module Device Driver

• Bb_pico_bsp Ada BSP for the Keyboard Featherwing + RPI PICO

• Bbs_embed_linux Physical device drivers for Raspberry Pi and BeagleBone Black
• Blinkenlights Project to blink LEDs in interesting patterns

• B2ssum BLAKE2s file hash utility
• Blake2s SPARK83 implementation of the BLAKE2s hash function
• Libkeccak SHA-3 and related algorithms

• Geo_coords Geo coordinates calculation for determining Location, Distance, Bearing

• Hello 'Hello, world!' demonstration project
• Libhello Basic library demonstration project

• Hex_format Hexadecimal string formatting for modular types

• Hexapod_simulation_telemetry Phoenyx Hexapod Simulation/Telemetry GUI

• Libsimpleio Linux Simple I/O Library
• Usb_embedded An Ada USB stack for embedded devices

• Emacs_gpr_mode parser for Emacs gpr mode
• Emacs_wisitoken_grammar_mode parser for Emacs wisitoken-grammar mode

• Hmac HMAC implemented in Ada

• Hp41cx_tools HP-41CX emulator Tools

• Ada_gui An Ada-oriented GUI
• Bbs_webif Simple web server to provide an interface to embedded instruments
• List_image helper to dump iterable containers with customizable style
• Wikiada Wiki Engine with parser and renderer for several wiki syntaxes

• Matreshka_xml Library to manipulate with XML streams and documents

• Aws Ada Web Server
• Bbs_webif Simple web server to provide an interface to embedded instruments
• Dummyserver DummyServer is a terminal program that serves dummy content
• Gnoga gnoga - The GNU Omnificent GUI for Ada
• Matreshka_fastcgi FastCGI implementation (demo)
• Matreshka_servlet Servlet API
• 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)
• Utilada_aws Utility Library REST support on top of AWS
• Utilada_curl Utility Library REST support on top of CURL
• Webif_example Example usage of simple web interface library.

• Aws Ada Web Server
• Gnoga gnoga - The GNU Omnificent GUI for Ada

• Bme280 Driver for BME280 Humidity sensor

• Hirtos_separation_kernel High-Integrity RTOS Separation Kernel

I

• Adacl_eastrings Ada Class Library - EAStrings
• Felix X/Open Native Language System (NLS) for Ada
• Gnatcoll_iconv GNAT Components Collection - iconv binding
• Intl NLS thin Ada binding

• A0b_atsam3x8e_twi_i2c A0B ATSAM3X8E TWI I2C Driver
• A0b_i2c A0B I2C API
• A0b_stm32f401_i2c A0B: STM32F401 I2C
• Eeprom_i2c EEPROM I2C drivers library for embedded platforms
• Libsimpleio Linux Simple I/O Library
• Linux_hal HAL drivers for Linux userspace
• Ltp_305 Driver for Pimoroni LED
• Mcp2221 MCP2221 USB Raw HID I/O Expander Library for GNAT Ada
• Remoteio Remote I/O Protocol Client Library for GNAT Ada
• Softdev Serial protocols implemented in software

• Bbs_simcpu CPU Simulator for multiple CPUs
• Blinkenlights Project to blink LEDs in interesting patterns

• Bbs_simcpu CPU Simulator for multiple CPUs

• Enet Ada Embedded Network Stack

• Gnatcoll_iconv GNAT Components Collection - iconv binding

• Ulid Universally Unique Lexicographically Sortable Identifier

• Easy_graphics Very Simple Graphics Package
• Gid Generic Image Decoder - decode a broad variety of image formats
• Image_io Output in BMP,PPM,QOI;input in BMP,GIF,JPG,PNG,PNM,QOI,TGA
• Qoi Ada/SPARK implementation of the Quite Ok Image format

• Cre8or_generic_image_handling Generic image file and data handling using stb_images
• Cre8or_generic_image_handling_example Generic image handling example project

• Emacs_gpr_mode parser for Emacs gpr mode
• Emacs_wisi Ada code for Emacs wisi ELPA package
• Emacs_wisitoken_grammar_mode parser for Emacs wisitoken-grammar mode

• Ini_files A standalone, portable Ada package for configuration files

• Ini_files A standalone, portable Ada package for configuration files

• Inotify Monitor filesystem events using Linux' inotify API

• Evdev Library for input devices and force-feedback using Linux' evdev API
• Orka_awt Ada Window Toolkit

• Bigints Experimental SPARK Constant Time Big Integer library

• Orka_numerics Tensors (multidimensional arrays) and integrators
• Scripted_testing Integration testing

• Aho_corasick Aho-Corasick Implementation

• Controlled_io Files that are open while they exist and closed when they don't
• Image_io Output in BMP,PPM,QOI;input in BMP,GIF,JPG,PNG,PNM,QOI,TGA

• Coap_client Client program for the CoAP-SPARK library
• Coap_spark CoAP implementation formally verified with SPARK/Ada

• Enet Ada Embedded Network Stack

• Enet Ada Embedded Network Stack

• Weechat_ada Ada 2012 library for WeeChat plug-ins

• Iso ISO Standard references for Ada such as 1366 & 4217 (Country & Currency)

• Iso ISO Standard references for Ada such as 1366 & 4217 (Country & Currency)

• Crc_32 Cyclic Redundancy Check to verify data integrity (ISO 3309)

• List_image helper to dump iterable containers with customizable style

• 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

• Axmpp XMPP client library in Ada

• File_formats_java_class File format reader for the Java programming language CLASS file format
• J2ada Almost Java to Ada translator

• Jintp Template parser in Ada based on Jinja2

• Jintp Template parser in Ada based on Jinja2

• Awa Ada Web Application
• Awa_unit Ada Web Application (Testing framework)

• Gid Generic Image Decoder - decode a broad variety of image formats

• Gid Generic Image Decoder - decode a broad variety of image formats
• Image_io Output in BMP,PPM,QOI;input in BMP,GIF,JPG,PNG,PNM,QOI,TGA

• Serverfaces_unit Web Server Faces JSR 252, JSR 314 and JSR 344 (Testing framework)

• Gnatcoll GNAT Components Collection - Core packages
• Json An Ada 2012 library for parsing JSON
• Jwt JSON Web Token (JWT) implementation in Ada
• Lml Lightweight Markup Language conversions
• Matreshka_league League - universal string library. Part of Matreshka framework
• Serverfaces Web Server Faces JSR 252, JSR 314 and JSR 344
• 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)
• Utilada Utility Library with streams, processes, logs, serialization, encoders
• Vss Advanced string and text manipulation with Unicode support
• Yeison A JSON-like data structure using Ada 2022 features
• Yeison_12 A JSON-like data structure (Ada 2012 version)

• Ajunitgen Generator of JUnit-compatible XML reports

• Jupyter_kernel Jupyter Kernel for Ada

• Jwt JSON Web Token (JWT) implementation in Ada

• Jwt JSON Web Token (JWT) implementation in Ada
• Security Security Library for HTTP client and server with OAuth2 support

K

• Orka_numerics Tensors (multidimensional arrays) and integrators

• Libkeccak SHA-3 and related algorithms

• Libkeccak SHA-3 and related algorithms

• Adare_hqc256 Post Quantum Computer Resistant Cryptograph KEM, HQC 256 Ada bind.

• Jupyter_kernel Jupyter Kernel for Ada

• Lmdb_ada Bindings to the Lightning Memory-Mapped Database

• Keypadder Programmable virtual keypad for your Linux desktop

• Keypadder Programmable virtual keypad for your Linux desktop

• Libkeccak SHA-3 and related algorithms

• Orka OpenGL 4.6 rendering kernel written in Ada 2012
• Orka_tools Tools for the Orka rendering kernel

• Mathpaqs A collection of mathematical, 100% portable, packages

L

• Lsystem_editor L-Systems editor in Ada

• Lsystem_editor L-Systems editor in Ada

• Felix X/Open Native Language System (NLS) for Ada

• Labs_radar Introductory Ada exercises based around a fake radar codebase
• Labs_solar_system A set of SDL-based exercises to learn Ada
• Labs_standalone Ada exercices for training

• Lml Lightweight Markup Language conversions

• Gnat_math_extensions Eigenvalues, eigenvectors for non-symmetric, non-Hermitian matrices

• Texcad TeXCAD is a program for drawing or retouching {picture}s in LaTeX

• Utf8test Test the terminal behavior when outputting Latin-1 and UTF-8 strings

• Geo_coords Geo coordinates calculation for determining Location, Distance, Bearing

• Spawn A simple library to spawn processes and communicate with them.
• Spawn_glib A simple library to spawn processes and communicate with them.

• Lea LEA is a Lightweight Editor for Ada

• Adabots Learn Ada by programming Minecraft robots

• Orka_numerics Tensors (multidimensional arrays) and integrators
• Orka_tensors_cpu Tensors using SIMD instructions on the CPU
• Orka_tensors_gpu Tensors using compute shaders on the GPU

• Ltp_305 Driver for Pimoroni LED

• Dg_loada dg_loada loads (restores) legacy DG AOS/VS DUMP_II files
• Simh_tapes Library to handle SimH Standard magnetic tape image files

• Levenshtein_distance Implementation of levenshtein distance.

• Opentoken facility for performing token analysis and parsing within Ada

• Libgnatformat opinionated code format library for the Ada language

• Lal_highlight Simple code highlighters based on Libadalang
• Libadalang Ada semantic analysis library
• Libadalang_tools Ada semantic analysis library extension and tools

• Gnatcoll_omp GNAT Components Collection - OpenMP binding

• Adacl Ada Class Library (String, Trace, AUnit, Smart Pointer. GetOpt)
• Adacl_eastrings Ada Class Library - EAStrings
• Adacl_regexp Ada Class Library - Regular Expressions
• Libhello Basic library demonstration project

• Libsimpleio Linux Simple I/O Library

• Spdx SPDX License Expression Validator
• Spdx_tool SPDX license detection and management tool

• Light_arduino_due Arduino Due Board Support Package for `light` GNAT Runtime
• Light_blackpill_stm32f401 BlackPill STM32F401 BSP for `light` GNAT Runtime
• Light_fk723m1_zgt6 FK723M1-ZGT6 BSP for `light` GNAT Runtime
• Light_weact_stm32g474 WeAct STM32G474 BSP for `light` GNAT Runtime

• Orka_numerics Tensors (multidimensional arrays) and integrators
• Orka_tensors_cpu Tensors using SIMD instructions on the CPU
• Orka_tensors_gpu Tensors using compute shaders on the GPU

• Lined Ada Implementation of the Line Editor from Software Tools

• Linenoise_ada Bindings to the Linenoise line editing library

• Mathpaqs A collection of mathematical, 100% portable, packages

• Orka_numerics Tensors (multidimensional arrays) and integrators
• Orka_tensors_cpu Tensors using SIMD instructions on the CPU
• Orka_tensors_gpu Tensors using compute shaders on the GPU

• Linenoise_ada Bindings to the Linenoise line editing library

• Alr2appimage Tool to create an AppImage executable from an Alire crate
• Canberra_ada Ada 2012 bindings for libcanberra
• Epoll Linux epoll binding
• Evdev Library for input devices and force-feedback using Linux' evdev API
• Inotify Monitor filesystem events using Linux' inotify API
• Keypadder Programmable virtual keypad for your Linux desktop
• Libsimpleio Linux Simple I/O Library
• Linux_hal HAL drivers for Linux userspace
• Mcp2221 MCP2221 USB Raw HID I/O Expander Library for GNAT Ada
• Muntsos_aarch64 MuntsOS Embedded Linux support for AArch64 targets
• Muntsos_beaglebone MuntsOS Embedded Linux support for BeagleBone targets
• Muntsos_raspberrypi1 MuntsOS Embedded Linux support for RaspberryPi1 targets
• Muntsos_raspberrypi2 MuntsOS Embedded Linux support for RaspberryPi2 targets
• Muntsos_raspberrypi3 MuntsOS Embedded Linux support for RaspberryPi3 targets
• Muntsos_raspberrypi4 MuntsOS Embedded Linux support for RaspberryPi4 targets
• Muntsos_raspberrypi5 MuntsOS Embedded Linux support for RaspberryPi5 targets
• Powerjoular Monitoring the power consumption of multiple platforms and processes
• Remoteio Remote I/O Protocol Client Library for GNAT Ada
• Wioe5_ham1 Wio-E5 LoRa Transceiver Module Device Driver
• Wioe5_ham2 Wio-E5 LoRa Transceiver Module Device Driver
• Wioe5_p2p Wio-E5 LoRa Transceiver Module P2P Mode Device Driver

• Bbs_lisp Embedable tiny lisp interpreter
• Lispcli Simple program for exploring tiny lisp

• List_image helper to dump iterable containers with customizable style

• Byteflippers Signed/modular types for system, big and little endian reading/writing.

• Felix X/Open Native Language System (NLS) for Ada

• Felix X/Open Native Language System (NLS) for Ada

• Bbqueue DMA friendly lock-free BipBuffer

• Elogs Embedded logging, proven absent of runtime errors
• Journada Simple and nice configurable logging

• Adacl Ada Class Library (String, Trace, AUnit, Smart Pointer. GetOpt)
• Elogs Embedded logging, proven absent of runtime errors
• Gnatcoll_syslog GNAT Components Collection - syslog binding
• Journada Simple and nice configurable logging
• Loga Simple library for simple logging. Like npm package "debug", but for Ada
• Simple_logging Simple logging to console
• Utilada Utility Library with streams, processes, logs, serialization, encoders

• Prolog Simple Prolog library

• Geo_coords Geo coordinates calculation for determining Location, Distance, Bearing

• Wioe5_ham1 Wio-E5 LoRa Transceiver Module Device Driver
• Wioe5_ham2 Wio-E5 LoRa Transceiver Module Device Driver
• Wioe5_p2p Wio-E5 LoRa Transceiver Module P2P Mode Device Driver

• Gid Generic Image Decoder - decode a broad variety of image formats

• Gid Generic Image Decoder - decode a broad variety of image formats

• Byteflippers Signed/modular types for system, big and little endian reading/writing.

• Ada_language_server An implementation of the Microsoft's Language Server Protocol for Ada

• Ada_lua An Ada binding for lua

• Lvgl_ada Bindings for the LVGL embedded GUI framework
• Lvgl_ada_examples Examples for the LVGL embedded GUI framework Ada binding
• Lvgl_ada_simulator Native simulator of an LVGL display

• Gnatcoll_lzma GNAT Components Collection - lzma binding
• Lzmada Ada LZMA Library Binding
• Utilada_lzma Utility Library streams with LZMA support
• Zipada Manage Zip Archives and raw BZip2 and LZMA streams

• Zipada Manage Zip Archives and raw BZip2 and LZMA streams

M

• Bbs_simcpu CPU Simulator for multiple CPUs
• Blinkenlights Project to blink LEDs in interesting patterns

• Keypadder Programmable virtual keypad for your Linux desktop

• Keypadder Programmable virtual keypad for your Linux desktop

• Mage_hat A hat that jumps around and behaves magically
• Magicada Magic Number Recognition Library Ada binding

• Simh_tapes Library to handle SimH Standard magnetic tape image files

• Hmc5883 Driver for HMC5883L magnetic sensor
• Qmc5883 Driver for QMC5883L magnetic sensor

• Simh_tapes Library to handle SimH Standard magnetic tape image files

• Rejuvenation Analysis and manipulation of Ada code based on concrete patterns
• Rewriters Easy, yet advanced manipulation of Ada code

• Hostarm Local hosting of Ada Reference Manual (ARM)

• Ado_all Ada Database Objects (All drivers)
• Ado_mysql Ada Database Objects (Mysql)
• Matreshka_sql_mysql MySQL binding for Ada

• Bbt Black box test runner
• List_image helper to dump iterable containers with customizable style
• Markdown Markdown parser (draft)
• Wikiada Wiki Engine with parser and renderer for several wiki syntaxes
• Yass Static website generator

• Lml Lightweight Markup Language conversions

• Aho_corasick Aho-Corasick Implementation
• Pragmarc The PragmAda Reusable Components

• Orka_numerics Tensors (multidimensional arrays) and integrators
• Orka_tensors_cpu Tensors using SIMD instructions on the CPU
• Orka_tensors_gpu Tensors using compute shaders on the GPU
• Orka_transforms Library to transform vectors, matrices, and quaternions using SIMD

• Euler_tools Assortment of mathematical functions to solve Project Euler problems.
• Mathpaqs A collection of mathematical, 100% portable, packages

• Gnat_math_extensions Eigenvalues, eigenvectors for non-symmetric, non-Hermitian matrices

• Mathpaqs A collection of mathematical, 100% portable, packages
• Orka_numerics Tensors (multidimensional arrays) and integrators
• Orka_tensors_cpu Tensors using SIMD instructions on the CPU
• Orka_tensors_gpu Tensors using compute shaders on the GPU
• Orka_transforms Library to transform vectors, matrices, and quaternions using SIMD

• Mcp2221 MCP2221 USB Raw HID I/O Expander Library for GNAT Ada

• Ethernet Root crate for ethernet namespace and MDIO/SMI/MIIM interface

• Uri_mime URI & MIME Type Parsing and Manupulation

• Wikiada Wiki Engine with parser and renderer for several wiki syntaxes

• Octet_memory_stream Provides a Root_Stream_Type wrapper over an array of octets in memory.

• Axmpp XMPP client library in Ada
• Zeromq_ada An Ada-binding the ØMQ library

• Matreshka_amf Implementation of OMG's Meta Object Facility (MOF)
• Matreshka_amf_dd Diagram Definition (DD) specification support for AMF
• Matreshka_amf_mofext The UML mofext for AMF
• Matreshka_amf_ocl The UML OCL for AMF
• Matreshka_amf_uml Unified Modeling Language support for AMF
• Matreshka_amf_utp The UML Testing Profile for AMF

• Libadalang_tools Ada semantic analysis library extension and tools

• Microbit_bsp Board Support Package for the BBC micro:bit v1
• Microbit_examples Examples and tutorials for Ada on the BBC micro:bit

• Samd51_hal Drivers and HAL for the SAMD51 micro-controller family

• Emdee Performance assistant for Musical Directors
• Midi Library to encode and decode MIDI messages
• Rtmidi Ada "middleweight" binding for the rtMIDI library
• Usb_embedded An Ada USB stack for embedded devices

• Ethernet Root crate for ethernet namespace and MDIO/SMI/MIIM interface

• Uri_mime URI & MIME Type Parsing and Manupulation

• Adabots Learn Ada by programming Minecraft robots

• Mine_detector The Gnoga/Ada-GUI version of Mine Detector

• Minisamd51_bsp Board Support Package for the MiniSAM D51
• Minisamd51_example Example project for the MiniSAM D51

• Aaa Alex's Ada Assortment (of miscellaneous utilities)
• Wl_lib Handy library packages

• Keypadder Programmable virtual keypad for your Linux desktop

• Cheddar Cheddar is a real time scheduling analysis tool.
• Ocarina_lib Ocarina is a stand-alone AADL model processor, written in Ada.

• Matreshka_amf Implementation of OMG's Meta Object Facility (MOF)

• Cashe A fixed-point decimal money library written in Ada.

• Umwi Unicode Monospace Width Information

• Astro Library for astronomical calculations
• Ephemeris Library for reading astronomical ephemerides from JPL DE200 files

• Mos6502_create_led Create ROM with little program
• Mos6502_create_nop Create NOP ROM
• Mos6502_create_reset Create ROM with reset vector

• Libsimpleio Linux Simple I/O Library
• Mcp2221 MCP2221 USB Raw HID I/O Expander Library for GNAT Ada
• Remoteio Remote I/O Protocol Client Library for GNAT Ada

• Emdee Performance assistant for Musical Directors

• Admpfr Ada bindings for MPFR

• Byteflippers Signed/modular types for system, big and little endian reading/writing.

• Bar_code_drawing Creation of bar codes and qr codes
• Bar_codes Generate various types of bar codes (1D or 2D) on various media

• Asfml Ada binding to SFML, the Simple and Fast Multimedia Library
• Honki_tonks_zivilisationen The Code of my 4X turn-based strategy game.

• Muntsos_aarch64 MuntsOS Embedded Linux support for AArch64 targets
• Muntsos_beaglebone MuntsOS Embedded Linux support for BeagleBone targets
• Muntsos_raspberrypi1 MuntsOS Embedded Linux support for RaspberryPi1 targets
• Muntsos_raspberrypi2 MuntsOS Embedded Linux support for RaspberryPi2 targets
• Muntsos_raspberrypi3 MuntsOS Embedded Linux support for RaspberryPi3 targets
• Muntsos_raspberrypi4 MuntsOS Embedded Linux support for RaspberryPi4 targets
• Muntsos_raspberrypi5 MuntsOS Embedded Linux support for RaspberryPi5 targets

• Emdee Performance assistant for Musical Directors
• Musicplayer A Music Player
• Rtmidi Ada "middleweight" binding for the rtMIDI library

• Ado_all Ada Database Objects (All drivers)
• Ado_mysql Ada Database Objects (Mysql)
• Matreshka_sql_mysql MySQL binding for Ada

N

• Sparknacl Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library

• Hac HAC Ada Compiler: a small, quick Ada compiler covering a subset of Ada

• Ncursesada Ada binding to the ncurses text user interface library

• Orka_numerics Tensors (multidimensional arrays) and integrators
• Orka_tensors_cpu Tensors using SIMD instructions on the CPU
• Orka_tensors_gpu Tensors using compute shaders on the GPU

• Epoll Linux epoll binding

• Enet Ada Embedded Network Stack
• Enet_stm32 ENet driver for STM32
• Ethernet Root crate for ethernet namespace and MDIO/SMI/MIIM interface
• Garlic GNAT Library for Ada Distributed Environment (garlic)
• Gnatdist_garlic The configuration tool gnatdist for GARLIC
• Mavlink_common MAVLink -- Micro Air Vehicle Message Marshalling Library.
• Zeromq_ada An Ada-binding the ØMQ library

• Felix X/Open Native Language System (NLS) for Ada
• Intl NLS thin Ada binding

• Lvgl_ada Bindings for the LVGL embedded GUI framework

• Binary_trees Ordered binary trees implemented without access types

• Nrf5x_hal Drivers and HAL for the Nordic nRF5X micro-controller family

• Akt Ada Keystore Tool
• Keystoreada Ada Keystore

• Adl_middleware Middleware layer of the Ada Drivers Library project
• Atomic Standalone Ada/SPARK bindings to GCC atomic built-ins
• Basalt Collection of formally verified building blocks
• Bbqueue DMA friendly lock-free BipBuffer
• Chests Chests are bounded containers
• Cobs Consistent Overhead Byte Stuffing (COBS) encoder/decoder
• Cortex_m Drivers for Cortex-M micro-controllers (NVIC, SysTick, etc.)
• Eeprom_i2c EEPROM I2C drivers library for embedded platforms
• Embedded_components Platform agnostic drivers to interface external components
• Esp_idf Ada binding for the ESP-IDF SDK
• Geste GEneric Sprite and Tile Engine
• Hal Hardware Abstraction Layer (HAL)
• Itsybitsy_bsp Board support package for Arduino ItsyBitsy
• Itsybitsy_rp2040_bsp Board support package for Arduino ItsyBitsy RP2040
• Littlefs Ada/SPARK binding for the LittleFS flash embedded filesystem
• Microbit_bsp Board Support Package for the BBC micro:bit v1
• Microbit_examples Examples and tutorials for Ada on the BBC micro:bit
• Midi Library to encode and decode MIDI messages
• Minisamd51_bsp Board Support Package for the MiniSAM D51
• Minisamd51_example Example project for the MiniSAM D51
• Nrf5x_hal Drivers and HAL for the Nordic nRF5X micro-controller family
• Pico_bsp Board support package for Raspberry Pi Pico
• Pico_examples Examples for Ada on the Raspberry Pi Pico
• Pygamer_bsp Board Support Package for the AdaFruit PyGamer
• Rp2040_hal Drivers and HAL for the RP2040 micro-controller family
• Samd51_hal Drivers and HAL for the SAMD51 micro-controller family
• St7789 SPI based driver for the ST7789 TFT display
• Startup_gen Generates startup files (crt0 and linker script)
• Stm32f0x2_hal Drivers and HAL for stm32f0x2 mcu family
• Tiny_rp2040_bsp Board support package for Pimoroni Tiny RP2040
• Tresses Synth library inspired by Mutable Instruments Braids
• Usb_embedded An Ada USB stack for embedded devices
• Virtapu A virtual Audio Processing Unit to simulate 8-bit era game sounds

• Jupyter_kernel Jupyter Kernel for Ada

• Microbit_bsp Board Support Package for the BBC micro:bit v1
• Microbit_examples Examples and tutorials for Ada on the BBC micro:bit
• Nrf5x_hal Drivers and HAL for the Nordic nRF5X micro-controller family

• Nrf5x_hal Drivers and HAL for the Nordic nRF5X micro-controller family

• Enet Ada Embedded Network Stack

• Image_random True random numbers from a digital camera

• Hnumerics Operations for dual numbers
• Mathpaqs A collection of mathematical, 100% portable, packages
• Specfun Native Ada library of special functions (e.g., beta, gamma)

• Orka_numerics Tensors (multidimensional arrays) and integrators
• Orka_tensors_cpu Tensors using SIMD instructions on the CPU
• Orka_tensors_gpu Tensors using compute shaders on the GPU

O

• Security Security Library for HTTP client and server with OAuth2 support

• Rxada Experimental implementation of ReactiveX in Ada

• Sciada Collection of Scientific Operations

• Matreshka_amf_ocl The UML OCL for AMF

• Octet_memory_stream Provides a Root_Stream_Type wrapper over an array of octets in memory.

• Emdee Performance assistant for Musical Directors

• Openai OpenAI client library

• Openai OpenAI client library
• Openapi OpenAPI library to build REST client applications
• Openapi_server OpenAPI library to build REST server applications

• Adagl_gtk3 OpenGL/Gtk3 binding
• Asfml Ada binding to SFML, the Simple and Fast Multimedia Library
• Globe_3d GLOBE_3D: GL Object Based Engine for 3D
• Openglada Thick Ada binding for OpenGL
• Openglada_glfw GLFW binding for use with OpenGLAda
• Openglada_images Image loading library for OpenGLAda
• Openglada_text Text rendering library for OpenGLAda
• Orka OpenGL 4.6 rendering kernel written in Ada 2012
• Orka_awt Ada Window Toolkit
• Orka_egl Ada 2012 bindings for EGL
• Orka_opengl OpenGL 4.6 backend for the Orka rendering engine
• Orka_tools Tools for the Orka rendering kernel

• Gnatcoll_omp GNAT Components Collection - OpenMP binding

• Orka_numerics Tensors (multidimensional arrays) and integrators

• Optional Optional values a la java.lang.Optional

• Getopt POSIX getopt(3) for Ada

• Matreshka_sql_oracle Oracle DB binding for Ada

• Orka OpenGL 4.6 rendering kernel written in Ada 2012
• Orka_egl Ada 2012 bindings for EGL
• Orka_numerics Tensors (multidimensional arrays) and integrators
• Orka_opengl OpenGL 4.6 backend for the Orka rendering engine
• Orka_plugin_archives Orka plug-in to load resources from Zip archives
• Orka_plugin_atmosphere Orka plug-in for precomputed atmospheric scattering
• Orka_plugin_gltf Orka plug-in for loading glTF models
• Orka_plugin_terrain Orka plug-in for adaptive tessellated flattened spheroids
• Orka_simd Bindings for x86 SIMD extensions like SSE, AVX2, FMA, F16C
• Orka_tensors_cpu Tensors using SIMD instructions on the CPU
• Orka_tensors_gpu Tensors using compute shaders on the GPU
• Orka_tools Tools for the Orka rendering kernel
• Orka_transforms Library to transform vectors, matrices, and quaternions using SIMD
• Orka_types Data types for Orka

• Ashell Allows running and interacting with OS programs.

P

• Alr2appimage Tool to create an AppImage executable from an Alire crate

• Bit_sets A packed boolean array that saves space and is performant

• Easy_graphics Very Simple Graphics Package

• Parallelize Execute multiple commands in parallel

• Libkeccak SHA-3 and related algorithms

• Workers Simple task pool for parallelization

• Mathpaqs A collection of mathematical, 100% portable, packages

• Aflex An Ada Lexical Analyzer Generator
• Ayacc An Ada LARL(1) parser generator
• Elada Expression Language Library (JSR245)
• Emacs_gpr_mode parser for Emacs gpr mode
• Emacs_wisitoken_grammar_mode parser for Emacs wisitoken-grammar mode
• Hac HAC Ada Compiler: a small, quick Ada compiler covering a subset of Ada
• Nmea_0183 NMEA 0183 message decoder
• Opentoken facility for performing token analysis and parsing within Ada
• Wikiada Wiki Engine with parser and renderer for several wiki syntaxes
• Wisitoken Generalized error correcting LALR and packrat parser generator
• X1804 Translate MIL-HDBK-1804 PDL into Section 4 of the DoD-STD-2167A SDD

• Splitter A function to emulate "split" as implemented in Ruby

• Get_password Read a string without echo, in password-like style

• Password_gen A password generator using Ada-GUI/Gnoga

• Fastpbkdf2_ada Binding and an Ada wrapper to fastpbkdf2
• Pbkdf2 PBKDF2 implemented in Ada

• Bar_code_drawing Creation of bar codes and qr codes
• Bar_codes Generate various types of bar codes (1D or 2D) on various media
• Gid Generic Image Decoder - decode a broad variety of image formats

• Apdf Portable package for producing dynamically PDF documents
• Bar_codes Generate various types of bar codes (1D or 2D) on various media

• Bit_sets A packed boolean array that saves space and is performant
• Emdee Performance assistant for Musical Directors

• Security Security Library for HTTP client and server with OAuth2 support

• Gid Generic Image Decoder - decode a broad variety of image formats

• Ethernet Root crate for ethernet namespace and MDIO/SMI/MIIM interface

• Suika_programing Suika game clone with programing languages

• Libsimpleio Linux Simple I/O Library
• Raspberry_bsp Board Support package for Raspberry PI v1, v2 and B+

• Bb_pico_bsp Ada BSP for the Keyboard Featherwing + RPI PICO
• Pico_bsp Board support package for Raspberry Pi Pico
• Pico_examples Examples for Ada on the Raspberry Pi Pico
• Pico_ultrasonic_ranger Driver for the Grove ultrasonic ranger. Depends on the RP Pico HAL.

• Texcad TeXCAD is a program for drawing or retouching {picture}s in LaTeX

• Cre8or_generic_image_handling Generic image file and data handling using stb_images
• Cre8or_generic_image_handling_example Generic image handling example project

• Spawn A simple library to spawn processes and communicate with them.
• Spawn_glib A simple library to spawn processes and communicate with them.

• Astro Library for astronomical calculations
• Ephemeris Library for reading astronomical ephemerides from JPL DE200 files

• Emdee Performance assistant for Musical Directors
• Musicplayer A Music Player

• Cards 52-card deck playing card library

• Emdee Performance assistant for Musical Directors

• Qplt An Ada-GUI program to quickly produce a plot of a data set

• Bar_codes Generate various types of bar codes (1D or 2D) on various media
• Gid Generic Image Decoder - decode a broad variety of image formats
• Image_io Output in BMP,PPM,QOI;input in BMP,GIF,JPG,PNG,PNM,QOI,TGA

• Gid Generic Image Decoder - decode a broad variety of image formats
• Image_io Output in BMP,PPM,QOI;input in BMP,GIF,JPG,PNG,PNM,QOI,TGA

• Libsimpleio Linux Simple I/O Library

• Mathpaqs A collection of mathematical, 100% portable, packages

• Mathpaqs A collection of mathematical, 100% portable, packages

• Workers Simple task pool for parallelization

• Sdlada Ada 2012 SDL 2.x bindings.

• Globe_3d GLOBE_3D: GL Object Based Engine for 3D

• Florist_blady POSIX Ada Bindings
• Spoon Use posix_spawn() to spawn processes without forking

• Gnatcoll_postgres GNAT Components Collection - postgres

• Ado_all Ada Database Objects (All drivers)
• Ado_postgresql Ada Database Objects (PostgreSQL)
• Gnatcoll_postgres GNAT Components Collection - postgres
• Matreshka_sql_postgresql PostgreSQL binding for Ada

• Powerjoular Monitoring the power consumption of multiple platforms and processes

• Pla_util A power line adapter utility

• Easy_graphics Very Simple Graphics Package
• Gid Generic Image Decoder - decode a broad variety of image formats
• Image_io Output in BMP,PPM,QOI;input in BMP,GIF,JPG,PNG,PNM,QOI,TGA

• Adare_dilithium5 Post Quantum Computer Resistant Cryptograph Sign, Dilithium5 Ada bind.
• Adare_hqc256 Post Quantum Computer Resistant Cryptograph KEM, HQC 256 Ada bind.

• Gnatcoll_gmp GNAT Components Collection - GNU Multiple Precision Arithmetic binding

• Bme280 Driver for BME280 Humidity sensor

• Ada_pretty Ada Pretty Printer Library

• Bigints Experimental SPARK Constant Time Big Integer library

• Ada_pretty Ada Pretty Printer Library

• Mathpaqs A collection of mathematical, 100% portable, packages

• Ashell Allows running and interacting with OS programs.
• Spawn A simple library to spawn processes and communicate with them.
• Spawn_glib A simple library to spawn processes and communicate with them.
• Spoon Use posix_spawn() to spawn processes without forking

• Utilada Utility Library with streams, processes, logs, serialization, encoders

• Keypadder Programmable virtual keypad for your Linux desktop

• Progress_indicators Ways of displaying progress in command line tools.

• Emacs_wisi Ada code for Emacs wisi ELPA package
• Gprbuild The GPRBuild Ada/multilanguage build tool

• Euler_tools Assortment of mathematical functions to solve Project Euler problems.

• Conic_fit Least squares fitting of quadratic curves and surfaces

• Gnatcoll GNAT Components Collection - Core packages

• Prolog Simple Prolog library

• Strategy Property-based testing framework

• Coap_client Client program for the CoAP-SPARK library
• Coap_spark CoAP implementation formally verified with SPARK/Ada
• Matreshka_soap Framework for work with SOAP 1.2
• Protobuf Google Protocol Buffers implementation in Ada

• Slip SLIP Protocol Implementation
• Wayland_protocols_ada Ada 2012 bindings for various Wayland protocols

• Hex_format Hexadecimal string formatting for modular types

• Play_2048 2048 game: merge tiles with the same number until you add up to 2048

• Libsimpleio Linux Simple I/O Library
• Mcp2221 MCP2221 USB Raw HID I/O Expander Library for GNAT Ada
• Remoteio Remote I/O Protocol Client Library for GNAT Ada

• Hp41cx_tools HP-41CX emulator Tools

• Pygamer_bsp Board Support Package for the AdaFruit PyGamer
• Pygamer_simulator SDL simulator of the AdaFruit PyGamer console
• Shoot_n_loot Platform game for the AdaFruit PyGamer console

• Gnatcoll_python GNAT Components Collection - python2 binding
• Gnatcoll_python3 GNAT Components Collection - python3 binding

• Gnatcoll_python GNAT Components Collection - python2 binding

• Gnatcoll_python3 GNAT Components Collection - python3 binding

Q

• Gid Generic Image Decoder - decode a broad variety of image formats
• Image_io Output in BMP,PPM,QOI;input in BMP,GIF,JPG,PNG,PNM,QOI,TGA
• Qoi Ada/SPARK implementation of the Quite Ok Image format

• Bar_code_drawing Creation of bar codes and qr codes
• Bar_codes Generate various types of bar codes (1D or 2D) on various media

• Bar_codes Generate various types of bar codes (1D or 2D) on various media

• Bar_codes Generate various types of bar codes (1D or 2D) on various media

• Orka_transforms Library to transform vectors, matrices, and quaternions using SIMD

• Basalt Collection of formally verified building blocks
• Brackelib Library which contains various utility packages.

R

• Gwindows GWindows - Ada Framework for Windows Development

• Wioe5_ham1 Wio-E5 LoRa Transceiver Module Device Driver
• Wioe5_ham2 Wio-E5 LoRa Transceiver Module Device Driver
• Wioe5_p2p Wio-E5 LoRa Transceiver Module P2P Mode Device Driver

• Image_random True random numbers from a digital camera
• Mathpaqs A collection of mathematical, 100% portable, packages
• Orka_numerics Tensors (multidimensional arrays) and integrators
• Orka_tensors_cpu Tensors using SIMD instructions on the CPU
• Orka_tensors_gpu Tensors using compute shaders on the GPU
• Rsfile Randomly pick a file with probability proportional to its size
• System_random Minimal library to retrieve random data from system sources
• Xoshiro xoshiro128++ and xoshiro256++ pseudo-random number generators

• Pragmarc The PragmAda Reusable Components

• Pico_ultrasonic_ranger Driver for the Grove ultrasonic ranger. Depends on the RP Pico HAL.

• Libsimpleio Linux Simple I/O Library
• Raspberry_bsp Board Support package for Raspberry PI v1, v2 and B+

• Rpio Driver for the BCM2835's GPIO, as seen on the Raspberry Pi

• Libsimpleio Linux Simple I/O Library
• Pico_bsp Board support package for Raspberry Pi Pico
• Rp2040_hal Drivers and HAL for the RP2040 micro-controller family

• Muntsos_raspberrypi1 MuntsOS Embedded Linux support for RaspberryPi1 targets

• Muntsos_raspberrypi2 MuntsOS Embedded Linux support for RaspberryPi2 targets

• Muntsos_raspberrypi3 MuntsOS Embedded Linux support for RaspberryPi3 targets

• Muntsos_raspberrypi4 MuntsOS Embedded Linux support for RaspberryPi4 targets

• Muntsos_raspberrypi5 MuntsOS Embedded Linux support for RaspberryPi5 targets

• Mathpaqs A collection of mathematical, 100% portable, packages

• Raylib Ada bindings for Raylib
• Suika_programing Suika game clone with programing languages

• Gid Generic Image Decoder - decode a broad variety of image formats

• Rxada Experimental implementation of ReactiveX in Ada

• Rxada Experimental implementation of ReactiveX in Ada

• Gnatcoll_readline GNAT Components Collection - readline binding
• Linenoise_ada Bindings to the Linenoise line editing library

• Cheddar Cheddar is a real time scheduling analysis tool.

• Dg_loada dg_loada loads (restores) legacy DG AOS/VS DUMP_II files

• Checksum Algorithms for error-checking
• Crc_32 Cyclic Redundancy Check to verify data integrity (ISO 3309)

• Lal_refactor Source code refactoring utilities for the Ada language
• Liblal_refactor Source code refactoring library for the Ada language

• Gnatcoll GNAT Components Collection - Core packages

• Hostarm Local hosting of Ada Reference Manual (ARM)

• Simple_regex Port of Rob Pike's simple regex from the Practice of Programming.

• Adacl_regexp Ada Class Library - Regular Expressions
• Matreshka_league League - universal string library. Part of Matreshka framework

• Libsimpleio Linux Simple I/O Library
• Remoteio Remote I/O Protocol Client Library for GNAT Ada

• Wikiada Wiki Engine with parser and renderer for several wiki syntaxes

• Freetypeada Thick binding to the FreeType library
• Geste GEneric Sprite and Tile Engine
• Globe_3d GLOBE_3D: GL Object Based Engine for 3D
• Openglada Thick Ada binding for OpenGL
• Openglada_images Image loading library for OpenGLAda
• Openglada_text Text rendering library for OpenGLAda
• Orka OpenGL 4.6 rendering kernel written in Ada 2012
• Orka_opengl OpenGL 4.6 backend for the Orka rendering engine

• Vanilla Simple replace in character stream

• Printer_toolkit Printer toolkit to write reports

• Are Advanced Resource Embedder

• Minirest Minimalist Ada REST client library
• Openai OpenAI client library
• Openapi OpenAPI library to build REST client applications
• Openapi_server OpenAPI library to build REST server applications
• Servletada Web Servlet Library following JSR 154, JSR 315 (Core)
• Servletada_unit Web Servlet Library following JSR 154, JSR 315 (Testing framework)
• Utilada_curl Utility Library REST support on top of CURL

• Atari_atr_tools Atari / SIO2PC tools for ATR-files
• Atari_exe_tools Atari tools for for handling EXE-files
• Hp41cx_tools HP-41CX emulator Tools
• Mos6502_create_led Create ROM with little program
• Mos6502_create_nop Create NOP ROM
• Mos6502_create_reset Create ROM with reset vector

• Audio_base Basic Ada packages for audio applications
• Audio_wavefiles Ada Wavefile Library

• Esp_idf Ada binding for the ESP-IDF SDK

• Orka_numerics Tensors (multidimensional arrays) and integrators

• Xoshiro xoshiro128++ and xoshiro256++ pseudo-random number generators

• Hexapod_simulation_telemetry Phoenyx Hexapod Simulation/Telemetry GUI

• Rclada ROS2 Ada Client Library
• Rclada_examples ROS2 Ada Client Library - Examples

• Adabots Learn Ada by programming Minecraft robots

• Rclada ROS2 Ada Client Library
• Rclada_examples ROS2 Ada Client Library - Examples

• Honki_tonks_zivilisationen The Code of my 4X turn-based strategy game.

• Edc_client Client library for: github.com/hgrodriguez/embedded-dashboard-console
• Eeprom_i2c EEPROM I2C drivers library for embedded platforms
• Itsybitsy_bsp Board support package for Arduino ItsyBitsy
• Itsybitsy_rp2040_bsp Board support package for Arduino ItsyBitsy RP2040
• Ltp_305 Driver for Pimoroni LED
• Pico_bsp Board support package for Raspberry Pi Pico
• Pico_examples Examples for Ada on the Raspberry Pi Pico
• Rp2040_hal Drivers and HAL for the RP2040 micro-controller family
• Sh1107 Driver for the SH1107/OLED 128x128 monochrome display
• Tiny_rp2040_bsp Board support package for Pimoroni Tiny RP2040

• Matreshka_soap Framework for work with SOAP 1.2
• Protobuf Google Protocol Buffers implementation in Ada

• Rtmidi Ada "middleweight" binding for the rtMIDI library

• Hirtos High-Integrity RTOS

• Avrada_mcu Device (MCU) specific definitions for AVR microcontrollers
• Avrada_rts Minimal run time system (RTS) for AVR 8bit controllers
• Portable_minimal_ada_rts Portable Minimal Ada Runtime Library

• Mathpaqs A collection of mathematical, 100% portable, packages

• Mathpaqs A collection of mathematical, 100% portable, packages

• Bare_runtime Minimal Ada/SPARK run-time for embedded or other restricted targets
• Embedded_nrf52832 embedded runtime for the nRF52832 SoC
• Embedded_nrf52833 embedded runtime for the nRF52833 SoC
• Embedded_nrf52840 embedded runtime for the nRF52840 SoC
• Embedded_stm32f0xx embedded runtime for the STM32F0xx SoC
• Embedded_stm32g0xx embedded runtime for the STM32G0xx SoC
• Embedded_stm32g4xx embedded runtime for the STM32G4xx SoC
• Light_nrf52832 light runtime for the nRF52832 SoC
• Light_nrf52833 light runtime for the nRF52833 SoC
• Light_nrf52840 light runtime for the nRF52840 SoC
• Light_stm32f0xx light runtime for the STM32F0xx SoC
• Light_stm32g0xx light runtime for the STM32G0xx SoC
• Light_stm32g4xx light runtime for the STM32G4xx SoC
• Light_tasking_nrf52832 light-tasking runtime for the nRF52832 SoC
• Light_tasking_nrf52833 light-tasking runtime for the nRF52833 SoC
• Light_tasking_nrf52840 light-tasking runtime for the nRF52840 SoC
• Light_tasking_stm32f0xx light-tasking runtime for the STM32F0xx SoC
• Light_tasking_stm32g0xx light-tasking runtime for the STM32G0xx SoC
• Light_tasking_stm32g4xx light-tasking runtime for the STM32G4xx SoC

• Rxada Experimental implementation of ReactiveX in Ada

S

• Pragmarc The PragmAda Reusable Components

• 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
• Light_arduino_due Arduino Due Board Support Package for `light` GNAT Runtime

• Minisamd51_bsp Board Support Package for the MiniSAM D51
• Minisamd51_example Example project for the MiniSAM D51

• Adasat Implementation of a DPLL-based SAT solver in Ada.

• Matreshka_league League - universal string library. Part of Matreshka framework

• Sciada Collection of Scientific Operations

• Sciada Collection of Scientific Operations

• Controlled_io Files that are open while they exist and closed when they don't

• Ada_lua An Ada binding for lua

• Scripted_testing Integration testing
• Tash Binding to Tcl/Tk

• Mage Mini Ada Game Engine - A very simple game engine written in Ada

• Adacl_regexp Ada Class Library - Regular Expressions
• Aho_corasick Aho-Corasick Implementation
• Septum An interactive context-based text search tool for large codebases.

• Secretada Secret service Ada binding

• Akt Ada Keystore Tool
• Chacha20 ChaCha20 implementation in Ada.
• Hmac HMAC implemented in Ada
• Keystoreada Ada Keystore
• Libkeccak SHA-3 and related algorithms
• Pbkdf2 PBKDF2 implemented in Ada
• Raiden An Ada implemenetation of a block cipher called Raiden.
• Security Security Library for HTTP client and server with OAuth2 support
• Sha1 Secure Hash Algorithm 1 implemented in Ada
• Sha2 Secure Hash Algorithm 2 implemented in Ada
• Sparknacl Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library
• System_random Minimal library to retrieve random data from system sources

• Webdriver Web Browser control API

• Hac HAC Ada Compiler: a small, quick Ada compiler covering a subset of Ada
• Semantic_versioning Semantic Versioning in Ada

• Semantic_versioning Semantic Versioning in Ada

• Bme280 Driver for BME280 Humidity sensor
• Hmc5883 Driver for HMC5883L magnetic sensor
• Libsimpleio Linux Simple I/O Library
• Mcp2221 MCP2221 USB Raw HID I/O Expander Library for GNAT Ada
• Qmc5883 Driver for QMC5883L magnetic sensor
• Remoteio Remote I/O Protocol Client Library for GNAT Ada

• Libsimpleio Linux Simple I/O Library
• Mcp2221 MCP2221 USB Raw HID I/O Expander Library for GNAT Ada
• Remoteio Remote I/O Protocol Client Library for GNAT Ada

• Utilada_xml Utility Library serialization with XML/Ada

• Aws Ada Web Server
• Dummyserver DummyServer is a terminal program that serves dummy content
• Ews Embedded Web Server
• Gnoga gnoga - The GNU Omnificent GUI for Ada

• Matreshka_servlet Servlet API
• Matreshka_spikedog_api Web-application server. API library
• Matreshka_spikedog_awsd Web-application server. API library
• Matreshka_spikedog_core Web-application server. Implementation library
• 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)

• Libsimpleio Linux Simple I/O Library
• Mcp2221 MCP2221 USB Raw HID I/O Expander Library for GNAT Ada
• Remoteio Remote I/O Protocol Client Library for GNAT Ada

• Bit_sets A packed boolean array that saves space and is performant

• Dotenv Loads environment variables from .env for Ada projects.

• Asfml Ada binding to SFML, the Simple and Fast Multimedia Library
• Bingada Bingo application in GTKAda with sound in ASFML
• Honki_tonks_zivilisationen The Code of my 4X turn-based strategy game.
• Play_2048 2048 game: merge tiles with the same number until you add up to 2048

• Sha1 Secure Hash Algorithm 1 implemented in Ada

• Sha2 Secure Hash Algorithm 2 implemented in Ada

• Libkeccak SHA-3 and related algorithms

• Orka_tensors_gpu Tensors using compute shaders on the GPU

• Libkeccak SHA-3 and related algorithms

• Zipada Manage Zip Archives and raw BZip2 and LZMA streams

• Adare_dilithium5 Post Quantum Computer Resistant Cryptograph Sign, Dilithium5 Ada bind.

• Orka_simd Bindings for x86 SIMD extensions like SSE, AVX2, FMA, F16C
• Orka_tensors_cpu Tensors using SIMD instructions on the CPU

• Sciada Collection of Scientific Operations

• Vanilla Simple replace in character stream

• Blinkenlights Project to blink LEDs in interesting patterns
• Simh_tapes Library to handle SimH Standard magnetic tape image files

• Cheddar Cheddar is a real time scheduling analysis tool.
• Eagle_lander Apollo 11 lunar lander simulator
• Lvgl_ada_simulator Native simulator of an LVGL display
• Pygamer_simulator SDL simulator of the AdaFruit PyGamer console
• Shoot_n_loot Platform game for the AdaFruit PyGamer console

• Adacl Ada Class Library (String, Trace, AUnit, Smart Pointer. GetOpt)

• Linux_hal HAL drivers for Linux userspace

• Ethernet Root crate for ethernet namespace and MDIO/SMI/MIIM interface

• Aws Ada Web Server
• Matreshka_soap Framework for work with SOAP 1.2
• Matreshka_soap_wsse WS-Security 1.1 implementation for SOAP 1.2

• Adasat Implementation of a DPLL-based SAT solver in Ada.

• Partord Small library for sorting with partial orders
• Pragmarc The PragmAda Reusable Components

• Bingada Bingo application in GTKAda with sound in ASFML
• Canberra_ada Ada 2012 bindings for libcanberra

• Emdee Performance assistant for Musical Directors

• Ada_caser Applies casing rules to Ada source code.

• Globe_3d GLOBE_3D: GL Object Based Engine for 3D

• Atomic Standalone Ada/SPARK bindings to GCC atomic built-ins
• Basalt Collection of formally verified building blocks
• Bbqueue DMA friendly lock-free BipBuffer
• Bigints Experimental SPARK Constant Time Big Integer library
• Blake2s SPARK83 implementation of the BLAKE2s hash function
• 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
• Elogs Embedded logging, proven absent of runtime errors
• Endianness Convenience subprograms to convert between Big- and Little-endianness
• Libcrc Cyclic Redundancy Check (CRC) Library
• Libkeccak SHA-3 and related algorithms
• Program_proofs_in_spark Programs from the book Program Proofs in SPARK
• Saatana SPARK/Ada Algorithms Targeting Advanced Network Applications
• Slip SLIP Protocol Implementation
• Spark_unbound Unbound data structures in Ada-Spark
• Sparknacl Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library
• Spat SPAT - SPARK Proof Analysis Tool
• Vaton Verified Ascii To Number conversion written in Ada/SPARK
• Wolfssl WolfSSL encryption library and its Ada bindings
• Xoshiro xoshiro128++ and xoshiro256++ pseudo-random number generators

• Ashell Allows running and interacting with OS programs.
• Spoon Use posix_spawn() to spawn processes without forking

• Spdx SPDX License Expression Validator
• Spdx_tool SPDX license detection and management tool

• Specfun Native Ada library of special functions (e.g., beta, gamma)

• Libsimpleio Linux Simple I/O Library
• Linux_hal HAL drivers for Linux userspace
• Mcp2221 MCP2221 USB Raw HID I/O Expander Library for GNAT Ada
• Remoteio Remote I/O Protocol Client Library for GNAT Ada
• St7789 SPI based driver for the ST7789 TFT display

• Splitter A function to emulate "split" as implemented in Ruby

• Excel_writer Produce Excel spreadsheets

• Geste GEneric Sprite and Tile Engine

• 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)
• Gnatcoll_sql GNAT Components Collection - sql
• Gnatcoll_sqlite GNAT Components Collection - sqlite
• Matreshka_sql Common SQL Database API
• Matreshka_sql_firebird Firebird SQL binding for Ada
• Matreshka_sql_mysql MySQL binding for Ada
• Matreshka_sql_oracle Oracle DB binding for Ada
• Matreshka_sql_postgresql PostgreSQL binding for Ada
• Matreshka_sql_sqlite3 SQLite binding for Ada

• Ado_all Ada Database Objects (All drivers)
• Ado_sqlite Ada Database Objects (SQLite)
• Gnatcoll_sqlite GNAT Components Collection - sqlite
• Matreshka_sql_sqlite3 SQLite binding for Ada

• Adare_hqc256 Post Quantum Computer Resistant Cryptograph KEM, HQC 256 Ada bind.

• Orka_simd Bindings for x86 SIMD extensions like SSE, AVX2, FMA, F16C

• Aws Ada Web Server
• Gnoga gnoga - The GNU Omnificent GUI for Ada
• Tlsada Bindings for libtls
• Wolfssl WolfSSL encryption library and its Ada bindings

• Basalt Collection of formally verified building blocks
• Brackelib Library which contains various utility packages.

• Lal_highlight Simple code highlighters based on Libadalang
• Libadalang Ada semantic analysis library
• Libadalang_tools Ada semantic analysis library extension and tools

• Mathpaqs A collection of mathematical, 100% portable, packages
• Orka_numerics Tensors (multidimensional arrays) and integrators
• Orka_tensors_cpu Tensors using SIMD instructions on the CPU
• Orka_tensors_gpu Tensors using compute shaders on the GPU
• Sciada Collection of Scientific Operations

• Cre8or_generic_image_handling Generic image file and data handling using stb_images
• Cre8or_generic_image_handling_example Generic image handling example project

• Cre8or_generic_image_handling Generic image file and data handling using stb_images
• Cre8or_generic_image_handling_example Generic image handling example project

• Gid Generic Image Decoder - decode a broad variety of image formats

• Libsimpleio Linux Simple I/O Library
• Mcp2221 MCP2221 USB Raw HID I/O Expander Library for GNAT Ada
• Remoteio Remote I/O Protocol Client Library for GNAT Ada

• 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
• Enet_stm32 ENet driver for STM32
• Light_blackpill_stm32f401 BlackPill STM32F401 BSP for `light` GNAT Runtime
• Light_fk723m1_zgt6 FK723M1-ZGT6 BSP for `light` GNAT Runtime
• Light_weact_stm32g474 WeAct STM32G474 BSP for `light` GNAT Runtime

• Embedded_stm32f0xx embedded runtime for the STM32F0xx SoC
• Light_stm32f0xx light runtime for the STM32F0xx SoC
• Light_tasking_stm32f0xx light-tasking runtime for the STM32F0xx SoC
• Stm32f0x2_hal Drivers and HAL for stm32f0x2 mcu family

• A0b_stm32f401 STM32F401 base and SVD package
• A0b_stm32f401_dma A0B: STM32F401 DMA
• A0b_stm32f401_i2c A0B: STM32F401 I2C
• A0b_stm32f401_tim11_timer A0B: Timer based on STM32F401 TIM11
• Light_blackpill_stm32f401 BlackPill STM32F401 BSP for `light` GNAT Runtime

• 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
• Blink_led_blackpill_stm32f401 Blink LED demo for BlackPill STM32F401
• Button_led_blackpill_stm32f401 Key/LED demo for BlackPill STM32F401
• Light_blackpill_stm32f401 BlackPill STM32F401 BSP for `light` GNAT Runtime

• Embedded_stm32g0xx embedded runtime for the STM32G0xx SoC
• Light_stm32g0xx light runtime for the STM32G0xx SoC
• Light_tasking_stm32g0xx light-tasking runtime for the STM32G0xx SoC

• 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
• Embedded_stm32g4xx embedded runtime for the STM32G4xx SoC
• Light_stm32g4xx light runtime for the STM32G4xx SoC
• Light_tasking_stm32g4xx light-tasking runtime for the STM32G4xx SoC
• Light_weact_stm32g474 WeAct STM32G474 BSP for `light` GNAT Runtime

• A0b_stm32g474 A0B: STM32G474 base support and SVD files
• A0b_stm32g474_gpio A0B: STM32G474 GPIO/EXTI
• Blink_led_weact_stm32g474 Blink LED demo for WeAct STM32G474
• Button_led_weact_stm32g474 Key/LED demo for WeAct STM32G474
• Light_weact_stm32g474 WeAct STM32G474 BSP for `light` GNAT Runtime

• A0b_stm32h723 STM32H723 base and SVD package
• Light_fk723m1_zgt6 FK723M1-ZGT6 BSP for `light` GNAT Runtime

• A0b_stm32h723 STM32H723 base and SVD package
• Light_fk723m1_zgt6 FK723M1-ZGT6 BSP for `light` GNAT Runtime

• Stopwatch Keep track of elapsed time

• Akt Ada Keystore Tool
• Awa Ada Web Application
• Keystoreada Ada Keystore

• Honki_tonks_zivilisationen The Code of my 4X turn-based strategy game.

• Octet_memory_stream Provides a Root_Stream_Type wrapper over an array of octets in memory.

• Octet_memory_stream Provides a Root_Stream_Type wrapper over an array of octets in memory.
• Utilada Utility Library with streams, processes, logs, serialization, encoders
• Utilada_lzma Utility Library streams with LZMA support

• Adacl Ada Class Library (String, Trace, AUnit, Smart Pointer. GetOpt)
• Basalt Collection of formally verified building blocks
• C_strings Manage Ada <-> C string conversions conveniently
• Emojis A library to replace names between colons with emojis
• Hex_format Hexadecimal string formatting for modular types
• Uxstrings Unicode Extended Strings utilities

• Adacl_eastrings Ada Class Library - EAStrings
• Adacl_regexp Ada Class Library - Regular Expressions
• Aho_corasick Aho-Corasick Implementation
• Format_strings Build and print formatted strings
• Splitter A function to emulate "split" as implemented in Ruby

• Vanilla Simple replace in character stream

• Suika_programing Suika game clone with programing languages

• Astro Library for astronomical calculations
• Ephemeris Library for reading astronomical ephemerides from JPL DE200 files

• A0b_atsam3x8e ATSAM3X8E base and SVD package
• A0b_stm32f401 STM32F401 base and SVD package
• A0b_stm32h723 STM32H723 base and SVD package

• Bar_code_drawing Creation of bar codes and qr codes
• Bar_codes Generate various types of bar codes (1D or 2D) on various media

• Byteflippers Signed/modular types for system, big and little endian reading/writing.

• Exsytrawo Exception Symbolic Traceback Workaround for macOS

• Anagram Grammar handling and parser generation Ada library

• Virtapu A virtual Audio Processing Unit to simulate 8-bit era game sounds

• Tresses Synth library inspired by Mutable Instruments Braids

• Gnatcoll_syslog GNAT Components Collection - syslog binding

• Endianness Convenience subprograms to convert between Big- and Little-endianness
• System_random Minimal library to retrieve random data from system sources

• A0b_armv7m_systick_clock_timer A0B Monotonic Clock and Timer by ARMv7M SysTick

T

• Db_maker A generic for creating simple DBs (one table in an RDBMS)

• Aaa_texts Utilities to deal with enriched human texts (ANSI, Unicode)

• Keypadder Programmable virtual keypad for your Linux desktop

• Simh_tapes Library to handle SimH Standard magnetic tape image files

• Gid Generic Image Decoder - decode a broad variety of image formats

• Pragmarc The PragmAda Reusable Components

• Workers Simple task pool for parallelization

• Tash Binding to Tcl/Tk

• Bbt Black box test runner

• Adabots Learn Ada by programming Minecraft robots

• Elevator A Simple Elevator System

• Bme280 Driver for BME280 Humidity sensor

• Mold Meta-variable Operations for Lean Development (cli)
• Mold_lib Meta-variable Operations for Lean Development (lib)
• Vss Advanced string and text manipulation with Unicode support

• Mold Meta-variable Operations for Lean Development (cli)
• Mold_lib Meta-variable Operations for Lean Development (lib)

• Mold Meta-variable Operations for Lean Development (cli)
• Mold_lib Meta-variable Operations for Lean Development (lib)

• Format_strings Build and print formatted strings
• Jintp Template parser in Ada based on Jinja2
• Matreshka_xml Library to manipulate with XML streams and documents

• Orka_numerics Tensors (multidimensional arrays) and integrators
• Orka_tensors_cpu Tensors using SIMD instructions on the CPU
• Orka_tensors_gpu Tensors using compute shaders on the GPU

• Aaa_texts Utilities to deal with enriched human texts (ANSI, Unicode)
• Ansiada ANSI escape sequences
• Dashera DASHER Terminal Emulator
• Dummyserver DummyServer is a terminal program that serves dummy content
• Progress_indicators Ways of displaying progress in command line tools.
• Trendy_terminal Terminal options, setup, tab completion and hinting.
• Utf8test Test the terminal behavior when outputting Latin-1 and UTF-8 strings
• Wordle Wordle for the terminal
• Wordlelib Library to track progress in a game of Wordle

• Orka_plugin_terrain Orka plug-in for adaptive tessellated flattened spheroids

• Aunit Ada unit test framework
• Bbt Black box test runner
• Dummyserver DummyServer is a terminal program that serves dummy content
• Gnatcov Coverage Analysis Tool
• Strategy Property-based testing framework
• Trendy_test Minimal Effort Ada Unit Testing Library

• Awa_unit Ada Web Application (Testing framework)
• Matreshka_amf_utp The UML Testing Profile for AMF
• Scripted_testing Integration testing
• Serverfaces_unit Web Server Faces JSR 252, JSR 314 and JSR 344 (Testing framework)
• Servletada_unit Web Servlet Library following JSR 154, JSR 315 (Testing framework)
• Strategy Property-based testing framework
• Utilada_unit Utility Library testing framework with Ahven

• Texcad TeXCAD is a program for drawing or retouching {picture}s in LaTeX

• Texcad TeXCAD is a program for drawing or retouching {picture}s in LaTeX

• Cbsg Corporate Bullshit Generator library
• Controlled_io Files that are open while they exist and closed when they don't
• Emojis A library to replace names between colons with emojis
• Hex_format Hexadecimal string formatting for modular types
• Septum An interactive context-based text search tool for large codebases.
• Simple_regex Port of Rob Pike's simple regex from the Practice of Programming.
• Texts A no-frills library to deal with Unicode texts in Ada 2012
• Tiny_text Low resolution bitmap font with a small memory footprint
• Universal_text_file Proposed universal format for Unicode text files
• Vss Advanced string and text manipulation with Unicode support

• Get_password Read a string without echo, in password-like style

• Gid Generic Image Decoder - decode a broad variety of image formats
• Image_io Output in BMP,PPM,QOI;input in BMP,GIF,JPG,PNG,PNM,QOI,TGA

• Emdee Performance assistant for Musical Directors

• Adasat Implementation of a DPLL-based SAT solver in Ada.

• Encryption_utilities Utility programs for the encryption algorithms included in the PragmARC

• Encryption_utilities Utility programs for the encryption algorithms included in the PragmARC

• Encryption_utilities Utility programs for the encryption algorithms included in the PragmARC

• Tiled_code_gen Generate GESTE data from Tiled maps and tilesets

• A0b_armv7m_systick_clock A0B Monotonic Clock by ARMv7M SysTick
• A0b_armv7m_systick_clock_timer A0B Monotonic Clock and Timer by ARMv7M SysTick
• A0b_time A0B Monotonic Time
• Matreshka_league League - universal string library. Part of Matreshka framework

• A0b_armv7m_systick_clock_timer A0B Monotonic Clock and Timer by ARMv7M SysTick
• A0b_atsam3x8e_tc5_timer A0B ATSAM3X8E High Resulotion Timer on top of TC5
• A0b_stm32f401_tim11_timer A0B: Timer based on STM32F401 TIM11
• A0b_timer A0B Timer
• Stopwatch Keep track of elapsed time

• Ulid Universally Unique Lexicographically Sortable Identifier

• Tiny_rp2040_bsp Board support package for Pimoroni Tiny RP2040

• Tash Binding to Tcl/Tk

• Tlsada Bindings for libtls
• Wolfssl WolfSSL encryption library and its Ada bindings

• Jwt JSON Web Token (JWT) implementation in Ada
• Splitter A function to emulate "split" as implemented in Ruby

• Splitter A function to emulate "split" as implemented in Ruby

• Lml Lightweight Markup Language conversions
• Toml_slicer Edit TOML files directly without parsing
• Yeison A JSON-like data structure using Ada 2022 features
• Yeison_12 A JSON-like data structure (Ada 2012 version)

• Getada The unofficial mac and linux installer for Alire.
• Gnatformat Opinionated code formatter for the Ada language
• Gprbuild The GPRBuild Ada/multilanguage build tool
• Lal_refactor Source code refactoring utilities for the Ada language
• Rsfile Randomly pick a file with probability proportional to its size

• Atari_atr_tools Atari / SIO2PC tools for ATR-files
• Atari_exe_tools Atari tools for for handling EXE-files
• Gnatdoc GNAT Documentation Generation Tool
• Gprbuild The GPRBuild Ada/multilanguage build tool
• Hp41cx_tools HP-41CX emulator Tools
• Libgnatdoc GNAT Documentation Generation Tool (as a library)
• Mos6502_create_led Create ROM with little program
• Mos6502_create_nop Create NOP ROM
• Mos6502_create_reset Create ROM with reset vector
• Ptf Portable Text Formatter
• Spdx_tool SPDX license detection and management tool
• X1804 Translate MIL-HDBK-1804 PDL into Section 4 of the DoD-STD-2167A SDD

• Adacl Ada Class Library (String, Trace, AUnit, Smart Pointer. GetOpt)

• Exsytrawo Exception Symbolic Traceback Workaround for macOS

• Labs_radar Introductory Ada exercises based around a fake radar codebase
• Labs_solar_system A set of SDL-based exercises to learn Ada
• Labs_standalone Ada exercices for training

• Rejuvenation Analysis and manipulation of Ada code based on concrete patterns
• Rewriters Easy, yet advanced manipulation of Ada code

• J2ada Almost Java to Ada translator

• Gid Generic Image Decoder - decode a broad variety of image formats

• Gid Generic Image Decoder - decode a broad variety of image formats

• Binary_trees Ordered binary trees implemented without access types
• Stephes_ada_library Stephe's Ada library; miscellaneous useful stuff.

• Clic Command Line Interface Components
• Io_utils A terminal IO library
• Pragmarc The PragmAda Reusable Components

• Libkeccak SHA-3 and related algorithms

• Easy_graphics Very Simple Graphics Package

• Ppa_gtkada Tutorials for GTKAda
• Ppag First steps with Gnoga
• Wikibook WikiBook Ada Programing

• Sparknacl Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library

• A0b_atsam3x8e_twi_i2c A0B ATSAM3X8E TWI I2C Driver

• A0b_base A0B: Base components

U

• Enet Ada Embedded Network Stack

• Aicwl Ada Industrial Control Widgets Library
• Cmd_ada Command based text UI, inspired by Python cmd module

• Ulid Universally Unique Lexicographically Sortable Identifier

• Pico_ultrasonic_ranger Driver for the Grove ultrasonic ranger. Depends on the RP Pico HAL.

• 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)
• Dynamo Dynamo Ada Generator
• Matreshka_amf Implementation of OMG's Meta Object Facility (MOF)
• Matreshka_amf_dd Diagram Definition (DD) specification support for AMF
• Matreshka_amf_mofext The UML mofext for AMF
• Matreshka_amf_ocl The UML OCL for AMF
• Matreshka_amf_uml Unified Modeling Language support for AMF
• Matreshka_amf_utp The UML Testing Profile for AMF

• Spark_unbound Unbound data structures in Ada-Spark

• Aaa_texts Utilities to deal with enriched human texts (ANSI, Unicode)
• Adacl_regexp Ada Class Library - Regular Expressions
• Braillart Use Braille patterns as a dot-matrix printer
• Emojis A library to replace names between colons with emojis
• Matreshka_league League - universal string library. Part of Matreshka framework
• Texts A no-frills library to deal with Unicode texts in Ada 2012
• Umwi Unicode Monospace Width Information
• Universal_text_file Proposed universal format for Unicode text files
• Utf8test Test the terminal behavior when outputting Latin-1 and UTF-8 strings
• Uxstrings Unicode Extended Strings utilities
• Vss Advanced string and text manipulation with Unicode support

• Aunit Ada unit test framework
• Trendy_test Minimal Effort Ada Unit Testing Library

• Aunit Ada unit test framework
• Trendy_test Minimal Effort Ada Unit Testing Library

• Bbs Root package for other crates and contains some physical units

• Bar_code_drawing Creation of bar codes and qr codes
• Bar_codes Generate various types of bar codes (1D or 2D) on various media

• Uri_ada Processing of URI strings
• Uri_mime URI & MIME Type Parsing and Manupulation

• Uri_ada Processing of URI strings
• Uri_mime URI & MIME Type Parsing and Manupulation

• Usb_embedded An Ada USB stack for embedded devices

• Clic Command Line Interface Components
• Io_utils A terminal IO library

• Awa Ada Web Application
• Awa_unit Ada Web Application (Testing framework)

• Texts A no-frills library to deal with Unicode texts in Ada 2012

• Utf8test Test the terminal behavior when outputting Latin-1 and UTF-8 strings

• Si_units Pretty print physical values in properly scaled metric (SI) units.

• Aaa Alex's Ada Assortment (of miscellaneous utilities)
• Alr2appimage Tool to create an AppImage executable from an Alire crate
• Brackelib Library which contains various utility packages.
• Getada The unofficial mac and linux installer for Alire.
• Simple_logging Simple logging to console
• Uri_ada Processing of URI strings
• Wl_lib Handy library packages

• Basalt Collection of formally verified building blocks
• Resources Utility library to handle project resources at run-time

• Ulid Universally Unique Lexicographically Sortable Identifier
• Uuids Implementation of RFC 9562 Universally Unique IDentifiers (UUIDs)

V

• Vanilla Simple replace in character stream

• Dotenv Loads environment variables from .env for Ada projects.

• Orka_numerics Tensors (multidimensional arrays) and integrators
• Orka_tensors_cpu Tensors using SIMD instructions on the CPU
• Orka_tensors_gpu Tensors using compute shaders on the GPU
• Orka_transforms Library to transform vectors, matrices, and quaternions using SIMD

• Texcad TeXCAD is a program for drawing or retouching {picture}s in LaTeX

• Crc_32 Cyclic Redundancy Check to verify data integrity (ISO 3309)

• Semantic_versioning Semantic Versioning in Ada

• Gnatcoll GNAT Components Collection - Core packages

• Hac HAC Ada Compiler: a small, quick Ada compiler covering a subset of Ada

• Ada_language_server An implementation of the Microsoft's Language Server Protocol for Ada

• Bbs_ansiterm Generate Escape Sequences for ANSI terminals
• Journada Simple and nice configurable logging
• Trendy_terminal Terminal options, setup, tab completion and hinting.

W

• Dir_iterators Ways of moving around directory trees

• Libsimpleio Linux Simple I/O Library

• Emdee Performance assistant for Musical Directors

• Audio_wavefiles Ada Wavefile Library

• Orka_awt Ada Window Toolkit
• Wayland_ada_info A tool to display information about supported Wayland interfaces
• Wayland_ada_scanner A tool to generate thick Ada 2012 bindings for Wayland protocols
• Wayland_client_ada Ada 2012 bindings for libwayland-client and the Wayland protocol
• Wayland_cursor_ada Ada 2012 bindings for libwayland-cursor
• Wayland_egl_ada Ada 2012 bindings for libwayland-egl
• Wayland_protocols_ada Ada 2012 bindings for various Wayland protocols

• Blink_led_weact_stm32g474 Blink LED demo for WeAct STM32G474
• Button_led_weact_stm32g474 Key/LED demo for WeAct STM32G474
• Light_weact_stm32g474 WeAct STM32G474 BSP for `light` GNAT Runtime

• Awa Ada Web Application
• Awa_unit Ada Web Application (Testing framework)
• Aws Ada Web Server
• Bbs_webif Simple web server to provide an interface to embedded instruments
• Elada Expression Language Library (JSR245)
• Ews Embedded Web Server
• Gnoga gnoga - The GNU Omnificent GUI for Ada
• Jwt JSON Web Token (JWT) implementation in Ada
• Matreshka_fastcgi FastCGI implementation (demo)
• Matreshka_servlet Servlet API
• Matreshka_soap Framework for work with SOAP 1.2
• Matreshka_soap_wsse WS-Security 1.1 implementation for SOAP 1.2
• Matreshka_spikedog_api Web-application server. API library
• Matreshka_spikedog_awsd Web-application server. API library
• Matreshka_spikedog_core Web-application server. Implementation library
• Openai OpenAI client library
• Openapi OpenAPI library to build REST client applications
• Openapi_server OpenAPI library to build REST server applications
• 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)
• Utilada_aws Utility Library REST support on top of AWS
• Utilada_curl Utility Library REST support on top of CURL
• Webdriver Web Browser control API
• Webif_example Example usage of simple web interface library.
• Yass Static website generator

• Weechat_ada Ada 2012 library for WeeChat plug-ins

• Adacl_regexp Ada Class Library - Regular Expressions

• Ada_gui An Ada-oriented GUI
• Aicwl Ada Industrial Control Widgets Library

• Umwi Unicode Monospace Width Information

• Awa Ada Web Application

• Wikiada Wiki Engine with parser and renderer for several wiki syntaxes

• Wikibook WikiBook Ada Programing

• Labs_solar_system A set of SDL-based exercises to learn Ada

• Gwindows GWindows - Ada Framework for Windows Development
• Orka_awt Ada Window Toolkit
• Win32ada Ada API to the Windows library

• Wioe5_ham1 Wio-E5 LoRa Transceiver Module Device Driver
• Wioe5_ham2 Wio-E5 LoRa Transceiver Module Device Driver
• Wioe5_p2p Wio-E5 LoRa Transceiver Module P2P Mode Device Driver

• Wioe5_ham1 Wio-E5 LoRa Transceiver Module Device Driver
• Wioe5_ham2 Wio-E5 LoRa Transceiver Module Device Driver
• Wioe5_p2p Wio-E5 LoRa Transceiver Module P2P Mode Device Driver

• Wordle Wordle for the terminal
• Wordlelib Library to track progress in a game of Wordle

• Wordlist An English word list

• Aws Ada Web Server

• Matreshka_soap_wsse WS-Security 1.1 implementation for SOAP 1.2

X

• Xdg_base_dir XDG Base Directory Specification

• Excel_writer Produce Excel spreadsheets

• Ajunitgen Generator of JUnit-compatible XML reports
• Libadalang2xml Generates XML for Ada source, using libadalang.
• Matreshka_league League - universal string library. Part of Matreshka framework
• Matreshka_xml Library to manipulate with XML streams and documents
• Utilada_xml Utility Library serialization with XML/Ada
• Vss Advanced string and text manipulation with Unicode support
• Xia Implements XPath 1.0 in Ada

• Axmpp XMPP client library in Ada

• Encryption_utilities Utility programs for the encryption algorithms included in the PragmARC

• Xoshiro xoshiro128++ and xoshiro256++ pseudo-random number generators

• Emacs_gpr_query Emacs xref backend using information output by GNAT compiler.
• Emacs_wisi Ada code for Emacs wisi ELPA package
• Gnatcoll_xref GNAT Components Collection - xref

• Esp_idf Ada binding for the ESP-IDF SDK

Y

• Lml Lightweight Markup Language conversions
• Yeison A JSON-like data structure using Ada 2022 features
• Yeison_12 A JSON-like data structure (Ada 2012 version)

Z

• Bbs_simcpu CPU Simulator for multiple CPUs

• Elogs Embedded logging, proven absent of runtime errors
• Startup_gen Generates startup files (crt0 and linker script)

• Azip AZip - A portable Zip Archive Manager
• Dcf Ada 2012 library for document container files, Zip-based archive files
• Gnatcoll_zlib GNAT Components Collection - zlib binding
• Orka_plugin_archives Orka plug-in to load resources from Zip archives
• Zipada Manage Zip Archives and raw BZip2 and LZMA streams
• Zipdcf Tools that can (un)zip document container files, Zip-based archive files

• Gnatcoll_zlib GNAT Components Collection - zlib binding
• Z_compression Standalone version of the Zlib Deflate compression algorithm

921 tags.