Alire
- 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
- Basalt - Collection of formally verified building blocks
- Bb_pico_bsp - Ada BSP for the Keyboard Featherwing + RPI PICO
- 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.)
- Edc_client - Client library for: github.com/hgrodriguez/embedded-dashboard-console
- Eeprom_i2c - EEPROM I2C drivers library for embedded platforms
- Embedded_components - Platform agnostic drivers to interface external components
- Hal - Hardware Abstraction Layer (HAL)
- Itsybitsy_bsp - Board support package for Arduino ItsyBitsy
- Itsybitsy_rp2040_bsp - Board support package for Arduino ItsyBitsy RP2040
- Libsimpleio - Linux Simple I/O Library for GNAT Ada
- 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
- 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
- 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
- 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
- Usb_embedded - An Ada USB stack for embedded devices
- 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
- 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
- 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
- Usb_embedded - An Ada USB stack for embedded devices
- Virtapu - A virtual Audio Processing Unit to simulate 8-bit era game sounds
- Atomic - Standalone Ada/SPARK bindings to GCC atomic built-ins
- Basalt - Collection of formally verified building blocks
- Bbqueue - DMA friendly lock-free BipBuffer
- Blake2s - SPARK83 implementation of the BLAKE2s hash function
- Cobs - Consistent Overhead Byte Stuffing (COBS) encoder/decoder
- Endianness - Convenience subprograms to convert between Big- and Little-endianness
- Libkeccak - SHA-3 and related algorithms
- 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
- Xoshiro - xoshiro128++ and xoshiro256++ pseudo-random number generators
- Bingada - Bingo application in GTKAda with sound in ASFML
- 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.
- 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
- 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
2
4
7
A
- Adabots: Learn Ada by programming Minecraft robots
- 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
- Libsimpleio: Linux Simple I/O Library for GNAT Ada
- Mcp2221: MCP2221 USB Raw HID I/O Expander Library for GNAT Ada
- Remoteio: Remote I/O Protocol Client Library for GNAT Ada
- Brackelib: Library which contains various utility packages.
- Mathpaqs: A collection of mathematical, 100% portable, packages
- Garlic: GNAT Library for Ada Distributed Environment (garlic)
- Gnatdist_garlic: The configuration tool gnatdist for GARLIC
- Dg_loada: dg_loada loads (restores) legacy DG AOS/VS DUMP_II files
- Openapi: OpenAPI library to build REST client applications
- Openapi_server: OpenAPI library to build REST server applications
- Gnatcoll_gmp: GNAT Components Collection - GNU Multiple Precision Arithmetic binding
- Dcf: Ada 2012 library for document container files, Zip-based archive files
- Zipada: Manage Zip Archives and raw LZMA streams
- Zipdcf: Tools that can (un)zip document container files, Zip-based archive files
- 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.)
- Samd51_hal: Drivers and HAL for the SAMD51 micro-controller family
- Atomic: Standalone Ada/SPARK bindings to GCC atomic built-ins
- 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
- Virtapu: A virtual Audio Processing Unit to simulate 8-bit era game sounds
- 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
B
- Bar_codes: Generate various types of bar codes on different output formats
- Base64: Base64 encoding/decoding routines
- Microbit_bsp: Board Support Package for the BBC micro:bit v1
- Utilada: Utility Library with streams, processes, logs, serialization, encoders
- Specfun: Native Ada library of special functions (e.g., beta, gamma)
- Specfun: Native Ada library of special functions (e.g., beta, gamma)
- Ada_lua: An Ada binding for lua
- Asfml: Ada binding to SFML, the Simple and Fast Multimedia Library
- Ncursesada: Ada binding to the ncurses text user interface library
- Openglada: Thick Ada binding for OpenGL
- Openglada_glfw: GLFW binding for use with OpenGLAda
- Zeromq_ada: An Ada-binding the ØMQ library
- Bingada: Bingo application in GTKAda with sound in ASFML
- Bbqueue: DMA friendly lock-free BipBuffer
- Adl_middleware: Middleware layer of the Ada Drivers Library project
- Tiny_text: Low resolution bitmap font with a small memory footprint
- 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
- Nrf5x_hal: Drivers and HAL for the Nordic nRF5X micro-controller family
- Gid: Decoding a broad variety of image formats
- Anagram: Grammar handling and parser generation Ada library
- Chests: Chests are bounded containers
- Zipada: Manage Zip Archives and raw LZMA streams
C
- Matreshka_xml: Library to manipulate with XML streams and documents
- Ini_files: A standalone, portable Ada package for configuration files
- Chacha20: ChaCha20 implementation in Ada.
- Bingada: Bingo application in GTKAda with sound in ASFML
- Adabots: Learn Ada by programming Minecraft robots
- 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
- Cobs: Consistent Overhead Byte Stuffing (COBS) encoder/decoder
- Bar_codes: Generate various types of bar codes on different output formats
- Septum: An interactive context-based text search tool for large codebases.
- Ashell: Allows running and interacting with OS programs.
- 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.
- 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
- Zipada: Manage Zip Archives and raw LZMA streams
- 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
- Cbsg: Corporate Bullshit Generator library
- Dummyserver: DummyServer is a terminal program that serves dummy content
- 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
- 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
- Chests: Chests are bounded containers
- Stephes_ada_library: Stephe's Ada library; miscellaneous useful stuff.
- Yeison: A JSON-like data structure using Ada 2022 features
- Task_coroutines: Coroutines and generators using only standard tasking features
- 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
- 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
- Sparknacl: Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library
D
- Libsimpleio: Linux Simple I/O Library for GNAT Ada
- Mcp2221: MCP2221 USB Raw HID I/O Expander Library for GNAT Ada
- Remoteio: Remote I/O Protocol Client Library for GNAT Ada
- Dg_loada: dg_loada loads (restores) legacy DG AOS/VS DUMP_II files
- Avltrees: Threaded AVL trees library for Ada
- Gid: Decoding a broad variety of image formats
- Utilada: Utility Library with streams, processes, logs, serialization, encoders
- Gnatcoll_zlib: GNAT Components Collection - zlib binding
- Zipada: Manage Zip Archives and raw LZMA streams
- Avrada_examples: Sample applications in Ada for AVR microcontrollers
- Hello: 'Hello, world!' demonstration project
- Libhello: Basic library demonstration project
- Dg_loada: dg_loada loads (restores) legacy DG AOS/VS DUMP_II files
- Ashell: Allows running and interacting with OS programs.
- Garlic: GNAT Library for Ada Distributed Environment (garlic)
- Gnatdist_garlic: The configuration tool gnatdist for GARLIC
- Zeromq_ada: An Ada-binding the ØMQ library
- Bbqueue: DMA friendly lock-free BipBuffer
- 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 (as `gnatdoc4` binary)
- Libgnatdoc: GNAT Documentation Generation Tool (as a library)
- 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.
- 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
- Stm32f0x2_hal: Drivers and HAL for stm32f0x2 mcu family
- Garlic: GNAT Library for Ada Distributed Environment (garlic)
- Gnatdist_garlic: The configuration tool gnatdist for GARLIC
- Uxstrings: Unicode Extended Strings utilities
E
- 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
- Eeprom_i2c: EEPROM I2C drivers library for embedded platforms
- Gnatcoll: GNAT Components Collection - Core packages
- 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
- Basalt: Collection of formally verified building blocks
- Bb_pico_bsp: Ada BSP for the Keyboard Featherwing + RPI PICO
- 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.)
- Edc_client: Client library for: github.com/hgrodriguez/embedded-dashboard-console
- Eeprom_i2c: EEPROM I2C drivers library for embedded platforms
- Embedded_components: Platform agnostic drivers to interface external components
- Hal: Hardware Abstraction Layer (HAL)
- Itsybitsy_bsp: Board support package for Arduino ItsyBitsy
- Itsybitsy_rp2040_bsp: Board support package for Arduino ItsyBitsy RP2040
- Libsimpleio: Linux Simple I/O Library for GNAT Ada
- 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
- 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
- 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
- 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
- Usb_embedded: An Ada USB stack for embedded devices
- Are: Advanced Resource Embedder
- Emojis: A library to replace names between colons with emojis
- Simh_tapes: Library to handle SimH Standard magnetic tape image files
- 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
- Endianness: Convenience subprograms to convert between Big- and Little-endianness
- Powerjoular: Monitoring the power consumption of multiple platforms and processes
- Dotenv: Loads environment variables from .env for Ada projects.
- Dotenv: Loads environment variables from .env for Ada projects.
- Epoll: Linux epoll binding
- Evdev: Library for input devices and force-feedback using Linux' evdev API
- Elada: Expression Language Library (JSR245)
- Elada: Expression Language Library (JSR245)
F
- Serverfaces_unit: Web Server Faces JSR 252, JSR 314 and JSR 344 (Testing framework)
- Bingada: Bingo application in GTKAda with sound in ASFML
- Bb_pico_bsp: Ada BSP for the Keyboard Featherwing + RPI PICO
- Rsfile: Randomly pick a file with probability proportional to its size
- Littlefs: Ada/SPARK binding for the LittleFS flash embedded filesystem
- Getopt: POSIX getopt(3) for Ada
- Littlefs: Ada/SPARK binding for the LittleFS flash embedded filesystem
- Tiny_text: Low resolution bitmap font with a small memory footprint
- Evdev: Library for input devices and force-feedback using Linux' evdev API
- 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
- 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.
- 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
- 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
- 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
- Getopt: POSIX getopt(3) for Ada
- Gid: Decoding a broad variety of image formats
- Garlic: GNAT Library for Ada Distributed Environment (garlic)
- Gnatdist_garlic: The configuration tool gnatdist for GARLIC
- Spawn_glib: A simple library to spawn processes and communicate with them.
- Gnatcoll_gmp: GNAT Components Collection - GNU Multiple Precision Arithmetic binding
- Ppag: First steps with Gnoga
- Libsimpleio: Linux Simple I/O Library for GNAT Ada
- Mcp2221: MCP2221 USB Raw HID I/O Expander Library for GNAT Ada
- Remoteio: Remote I/O Protocol Client Library for GNAT Ada
- Aflex: An Ada Lexical Analyzer Generator
- Anagram: Grammar handling and parser generation Ada library
- Ayacc: An Ada LARL(1) parser generator
- Aicwl: Ada Industrial Control Widgets Library
- Asfml: Ada binding to SFML, the Simple and Fast Multimedia Library
- Openglada: Thick Ada binding for OpenGL
- Openglada_images: Image loading library for OpenGLAda
- 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+
H
- Hac: HAC Ada Compiler: a small, quick Ada compiler covering a subset of Ada
- Hal: Hardware Abstraction Layer (HAL)
- Tiny_text: Low resolution bitmap font with a small memory footprint
- Bb_pico_bsp: Ada BSP for the Keyboard Featherwing + RPI PICO
- B2ssum: BLAKE2s file hash utility
- Blake2s: SPARK83 implementation of the BLAKE2s hash function
- Libkeccak: SHA-3 and related algorithms
- Hello: 'Hello, world!' demonstration project
- Libhello: Basic library demonstration project
- Hmac: HMAC implemented in Ada
- 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
- Gnoga: gnoga - The GNU Omnificent GUI for Ada
I
- Felix: X/Open Native Language System (NLS) for Ada
- Gnatcoll_iconv: GNAT Components Collection - iconv binding
- Eeprom_i2c: EEPROM I2C drivers library for embedded platforms
- Libsimpleio: Linux Simple I/O Library for GNAT Ada
- 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
- Gid: Decoding a broad variety of image formats
- Qoi: Ada/SPARK implementation of the Quite Ok Image format
- Ini_files: A standalone, portable Ada package for configuration files
- Inotify: Monitor filesystem events using Linux' inotify API
J
- Axmpp: XMPP client library in Ada
- J2ada: Almost Java to Ada translator
- Awa: Ada Web Application
- Awa_unit: Ada Web Application (Testing framework)
- Gid: Decoding a broad variety of image formats
- Gid: Decoding a broad variety of image formats
- 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
- 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_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
- Ajunitgen: Generator of JUnit-compatible XML reports
- 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
- Lmdb_ada: Bindings to the Lightning Memory-Mapped Database
- Mathpaqs: A collection of mathematical, 100% portable, packages
L
- Felix: X/Open Native Language System (NLS) for Ada
- Spawn: A simple library to spawn processes and communicate with them.
- Spawn_glib: A simple library to spawn processes and communicate with them.
- Adabots: Learn Ada by programming Minecraft robots
- Dg_loada: dg_loada loads (restores) legacy DG AOS/VS DUMP_II files
- Simh_tapes: Library to handle SimH Standard magnetic tape image files
- Adacl: Ada Class Library
- Libhello: Basic library demonstration project
- Spdx: SPDX License Expression Validator
- 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
- Libsimpleio: Linux Simple I/O Library for GNAT Ada
- Mcp2221: MCP2221 USB Raw HID I/O Expander Library for GNAT Ada
- Powerjoular: Monitoring the power consumption of multiple platforms and processes
- Remoteio: Remote I/O Protocol Client Library for GNAT Ada
- Felix: X/Open Native Language System (NLS) for Ada
- Felix: X/Open Native Language System (NLS) for Ada
- Bbqueue: DMA friendly lock-free BipBuffer
- Gnatcoll_syslog: GNAT Components Collection - syslog binding
- 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
- 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 LZMA streams
- Zipada: Manage Zip Archives and raw LZMA streams
M
- Simh_tapes: Library to handle SimH Standard magnetic tape image files
- 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
- Markdown: Markdown parser (draft)
- Wikiada: Wiki Engine with parser and renderer for several wiki syntaxes
- Mathpaqs: A collection of mathematical, 100% portable, packages
- Mathpaqs: A collection of mathematical, 100% portable, packages
- Mcp2221: MCP2221 USB Raw HID I/O Expander Library for GNAT Ada
- Axmpp: XMPP client library in Ada
- Zeromq_ada: An Ada-binding the ØMQ library
- Samd51_hal: Drivers and HAL for the SAMD51 micro-controller family
- 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
- Uri_mime: URI & MIME Type Parsing and Manupulation
- Adabots: Learn Ada by programming Minecraft robots
- Aaa: Alex's Ada Assortment (of miscellaneous utilities)
- Matreshka_amf: Implementation of OMG's Meta Object Facility (MOF)
- Libsimpleio: Linux Simple I/O Library for GNAT Ada
- Mcp2221: MCP2221 USB Raw HID I/O Expander Library for GNAT Ada
- Remoteio: Remote I/O Protocol Client Library for GNAT Ada
- Rtmidi: Ada "middleweight" binding for the rtMIDI library
N
- Sparknacl: Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library
- Ncursesada: Ada binding to the ncurses text user interface library
- Epoll: Linux epoll binding
- Garlic: GNAT Library for Ada Distributed Environment (garlic)
- Gnatdist_garlic: The configuration tool gnatdist for GARLIC
- Zeromq_ada: An Ada-binding the ØMQ library
- Felix: X/Open Native Language System (NLS) for Ada
- Lvgl_ada: Bindings for the LVGL embedded GUI framework
- Nrf5x_hal: Drivers and HAL for the Nordic nRF5X micro-controller family
- 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
- 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
- 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
- Usb_embedded: An Ada USB stack for embedded devices
- Virtapu: A virtual Audio Processing Unit to simulate 8-bit era game sounds
- 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
- Mathpaqs: A collection of mathematical, 100% portable, packages
- Specfun: Native Ada library of special functions (e.g., beta, gamma)
O
- Security: Security Library for HTTP client and server with OAuth2 support
- Rxada: Experimental implementation of ReactiveX in Ada
- Openapi: OpenAPI library to build REST client applications
- Openapi_server: OpenAPI library to build REST server applications
- Optional: Optional values a la java.lang.Optional
- Getopt: POSIX getopt(3) for Ada
- Ashell: Allows running and interacting with OS programs.
P
- 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
- Wikiada: Wiki Engine with parser and renderer for several wiki syntaxes
- Wisitoken: Generalized error correcting LALR and packrat parser generator
- Get_password: Read a string without echo, in password-like style
- Security: Security Library for HTTP client and server with OAuth2 support
- 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
- Spawn: A simple library to spawn processes and communicate with them.
- Spawn_glib: A simple library to spawn processes and communicate with them.
- Gid: Decoding a broad variety of image formats
- Sdlada: Ada 2012 SDL 2.x bindings.
- 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
- Gnatcoll_gmp: GNAT Components Collection - GNU Multiple Precision Arithmetic binding
- 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
- Gnatcoll: GNAT Components Collection - Core packages
- Play_2048: 2048 game: merge tiles with the same number until you add up to 2048
- Libsimpleio: Linux Simple I/O Library for GNAT Ada
- Mcp2221: MCP2221 USB Raw HID I/O Expander Library for GNAT Ada
- Remoteio: Remote I/O Protocol Client Library for GNAT Ada
Q
- Gid: Decoding a broad variety of image formats
- Qoi: Ada/SPARK implementation of the Quite Ok Image format
- Bar_codes: Generate various types of bar codes on different output formats
- Basalt: Collection of formally verified building blocks
- Brackelib: Library which contains various utility packages.
R
- 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
- Libsimpleio: Linux Simple I/O Library for GNAT Ada
- Pico_bsp: Board support package for Raspberry Pi Pico
- Rp2040_hal: Drivers and HAL for the RP2040 micro-controller family
- Rxada: Experimental implementation of ReactiveX in Ada
- Rxada: Experimental implementation of ReactiveX in Ada
- Dg_loada: dg_loada loads (restores) legacy DG AOS/VS DUMP_II files
- Gnatcoll: GNAT Components Collection - Core packages
- Simple_regex: Port of Rob Pike's simple regex from the Practice of Programming.
- Matreshka_league: League - universal string library. Part of Matreshka framework
- Libsimpleio: Linux Simple I/O Library for GNAT Ada
- Remoteio: Remote I/O Protocol Client Library for GNAT Ada
- Wikiada: Wiki Engine with parser and renderer for several wiki syntaxes
- Are: Advanced Resource Embedder
- Minirest: Minimalist Ada REST 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
- Xoshiro: xoshiro128++ and xoshiro256++ pseudo-random number generators
- Adabots: Learn Ada by programming Minecraft robots
- 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
- Rtmidi: Ada "middleweight" binding for the rtMIDI library
- Avrada_mcu: Device (MCU) specific definitions for AVR microcontrollers
- Avrada_rts: Minimal run time system (RTS) for AVR 8bit controllers
- Mathpaqs: A collection of mathematical, 100% portable, packages
- Mathpaqs: A collection of mathematical, 100% portable, packages
- Rxada: Experimental implementation of ReactiveX in Ada
S
- Matreshka_league: League - universal string library. Part of Matreshka framework
- Septum: An interactive context-based text search tool for large codebases.
- 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
- 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
- Libsimpleio: Linux Simple I/O Library for GNAT Ada
- Mcp2221: MCP2221 USB Raw HID I/O Expander Library for GNAT Ada
- Remoteio: Remote I/O Protocol Client Library for GNAT Ada
- Libsimpleio: Linux Simple I/O Library for GNAT Ada
- 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
- Libsimpleio: Linux Simple I/O Library for GNAT Ada
- Mcp2221: MCP2221 USB Raw HID I/O Expander Library for GNAT Ada
- Remoteio: Remote I/O Protocol Client Library for GNAT Ada
- 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
- Simh_tapes: Library to handle SimH Standard magnetic tape image files
- Partord: Small library for sorting with partial orders
- Bingada: Bingo application in GTKAda with sound in ASFML
- Canberra_ada: Ada 2012 bindings for libcanberra
- Atomic: Standalone Ada/SPARK bindings to GCC atomic built-ins
- Basalt: Collection of formally verified building blocks
- Bbqueue: DMA friendly lock-free BipBuffer
- Blake2s: SPARK83 implementation of the BLAKE2s hash function
- Cobs: Consistent Overhead Byte Stuffing (COBS) encoder/decoder
- Endianness: Convenience subprograms to convert between Big- and Little-endianness
- Libkeccak: SHA-3 and related algorithms
- 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
- 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
- Specfun: Native Ada library of special functions (e.g., beta, gamma)
- Libsimpleio: Linux Simple I/O Library for GNAT Ada
- Mcp2221: MCP2221 USB Raw HID I/O Expander Library for GNAT Ada
- Remoteio: Remote I/O Protocol Client Library for GNAT Ada
- Geste: GEneric Sprite and Tile Engine
- Aws: Ada Web Server
- Gnoga: gnoga - The GNU Omnificent GUI for Ada
- Tlsada: Bindings for libtls
- Basalt: Collection of formally verified building blocks
- Brackelib: Library which contains various utility packages.
- Mathpaqs: A collection of mathematical, 100% portable, packages
- Libsimpleio: Linux Simple I/O Library for GNAT Ada
- Mcp2221: MCP2221 USB Raw HID I/O Expander Library for GNAT Ada
- Remoteio: Remote I/O Protocol Client Library for GNAT Ada
- Utilada: Utility Library with streams, processes, logs, serialization, encoders
- Utilada_lzma: Utility Library streams with LZMA support
- Basalt: Collection of formally verified building blocks
- Emojis: A library to replace names between colons with emojis
- Uxstrings: Unicode Extended Strings utilities
- Anagram: Grammar handling and parser generation Ada library
- Virtapu: A virtual Audio Processing Unit to simulate 8-bit era game sounds
- Endianness: Convenience subprograms to convert between Big- and Little-endianness
- System_random: Minimal library to retrieve random data from system sources
T
- Simh_tapes: Library to handle SimH Standard magnetic tape image files
- Adabots: Learn Ada by programming Minecraft robots
- Vss: Advanced string and text manipulation with Unicode support
- Matreshka_xml: Library to manipulate with XML streams and documents
- Aunit: Ada unit test framework
- Dummyserver: DummyServer is a terminal program that serves dummy content
- Gnatcov: Coverage Analysis Tool
- Trendy_test: Minimal Effort Ada Unit Testing Library
- Cbsg: Corporate Bullshit Generator library
- Emojis: A library to replace names between colons with emojis
- 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.
- Tiny_text: Low resolution bitmap font with a small memory footprint
- Vss: Advanced string and text manipulation with Unicode support
- Get_password: Read a string without echo, in password-like style
- Matreshka_league: League - universal string library. Part of Matreshka framework
- Jwt: JSON Web Token (JWT) implementation in Ada
- Toml_slicer: Edit TOML files directly without parsing
- Yeison: A JSON-like data structure using Ada 2022 features
- J2ada: Almost Java to Ada translator
- Clic: Command Line Interface Components
- Ppag: First steps with Gnoga
U
- Aicwl: Ada Industrial Control Widgets Library
- Cmd_ada: Command based text UI, inspired by Python cmd module
- Emojis: A library to replace names between colons with emojis
- Matreshka_league: League - universal string library. Part of Matreshka framework
- 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
- 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
- Awa: Ada Web Application
- Awa_unit: Ada Web Application (Testing framework)
- Si_units: Pretty print physical values in properly scaled metric (SI) units.
- Aaa: Alex's Ada Assortment (of miscellaneous utilities)
- Brackelib: Library which contains various utility packages.
- Simple_logging: Simple logging to console
- Uri_ada: Processing of URI strings
- Basalt: Collection of formally verified building blocks
- Resources: Utility library to handle project resources at run-time
V
- Dotenv: Loads environment variables from .env for Ada projects.
- Gnatcoll: GNAT Components Collection - Core packages
W
- Wikiada: Wiki Engine with parser and renderer for several wiki syntaxes
- Wordle: Wordle for the terminal
- Wordlelib: Library to track progress in a game of Wordle
X
- Ajunitgen: Generator of JUnit-compatible XML reports
- 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
- Xoshiro: xoshiro128++ and xoshiro256++ pseudo-random number generators
Y
- Yeison: A JSON-like data structure using Ada 2022 features
Z
- Startup_gen: Generates startup files (crt0 and linker script)
- Dcf: Ada 2012 library for document container files, Zip-based archive files
- Gnatcoll_zlib: GNAT Components Collection - zlib binding
- Zipada: Manage Zip Archives and raw LZMA streams
- Zipdcf: Tools that can (un)zip document container files, Zip-based archive files
484 tags.