Top 10 Tags

embedded(41) nostd(30) web(24) database(17) spark(14) gnatcoll(14) sql(13) uml(12) http(12) game(12)
  • 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


All Tags

2

2d

4

4x

7

7z 7zip

A

ada ada-mode ada1987 ada1995 ada2022 adafruit adc adt algebra ali analysis annex ansi aos-vs api arbitrary archive arguments arithmetic arm ascon atmel atomic atsamd51 audio authentication automaton avr aws
  • 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
  • Aws: Ada Web Server

B

bar base64 bbc beaglebone beans beta-function beta-incomplete binding bindings bingo bipbuffer bitmap blake2 blake2s blas ble blog bmp bnf bounded bsp bzip2
  • 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
  • Awa: Ada Web Application
  • 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

canberra catalog cfg cgi chacha20 chance chat children chrome chronometer cli client cobs code command command-line commandline commonmark compile compiler compression computercraft config console container containers control coroutine coverage cross-platform cryptography cshake curve25519
  • 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.
  • Adacl: Ada Class Library
  • 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
  • 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
  • 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.
  • 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

dac dasher data-general data-structures database db decoder decoders deflate demo dependency dg diagram dir directories distributed dma document documentation dom dotclear dotenv drivers dsa dynamic
  • 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
  • Dashera: DASHER Terminal Emulator
  • 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

ebnf echo ed25519 eeprom egl emacs email embedded embedder emoji emulation emulator encoders encoding endianness energy english env environment epoll evdev excel expander expression extract
  • 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
  • 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
  • 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

facelet family fat featherwing file-size files filesystem firebird flags flash floating-point florist font fonts force-feedback formatting framework functional
  • 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
  • Admpfr: Ada bindings for MPFR
  • Tiny_text: Low resolution bitmap font with a small memory footprint
  • Evdev: Library for input devices and force-feedback using Linux' evdev API
  • Libadalang_tools: Ada semantic analysis library extension and tools
  • Si_units: Pretty print physical values in properly scaled metric (SI) units.
  • 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

game gamedev games gamma-function gauge generalized generator geste getopt gfm gif gimli glade glfw glib gmp gnatcoll gnatcoll-db gnatmetric gnatpp gnatstub gnattest gnoga gpio gpr grammar graph graphics graphml gtk gui
  • 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
  • Sdlada: Ada 2012 SDL 2.x bindings.
  • Tiled_code_gen: Generate GESTE data from Tiled maps and tilesets
  • 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 hal handheld hash hello hid highlight hmac html html5 http https
  • 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

i18n i2c iconv image indent ini inotify input irc iterators itsybitsy
  • 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
  • Evdev: Library for input devices and force-feedback using Linux' evdev API

J

jabber java jobs jpeg jpg jsf json junit jupyter jws jwt
  • 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

kangarootwelve keccak kernel key-value kmac kutta
  • Lmdb_ada: Bindings to the Lightning Memory-Mapped Database
  • Mathpaqs: A collection of mathematical, 100% portable, packages

L

l10n lapack launch learn led legacy libadalang libgomp library libsimpleio license line-editing linenoise linux localisation localization lockfree logging lsp lua lvgl lzma lzw
  • 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

magnetic magtape manipulation mariadb markdown mathematics matrices matrix mcp2221 media-type mediawiki messaging meta metric microbit microchip midi mime minecraft minisam miscellanea mof mos-6502 motor mpfr multimedia music mysql
  • 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
  • Uri_mime: URI & MIME Type Parsing and Manupulation
  • Wikiada: Wiki Engine with parser and renderer for several wiki syntaxes
  • 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
  • Admpfr: Ada bindings for MPFR
  • Rtmidi: Ada "middleweight" binding for the rtMIDI library

N

nacl ncurses net network nls no-std nordic nosql nostd notebook nrf51 nrf52 numerics
  • 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

oauth2 observer ocl openapi opengl openmp optional options oracle os
  • 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

parallelhash parser password pbkdf2 permissions pi pico pipe png pocketbeagle portable posix postgres postgresql power precision pretty printing probability process processes progress project projects protocol protocols puzzle pwm pygamer python python2 python3
  • 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
  • Libsimpleio: Linux Simple I/O Library for GNAT Ada
  • 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
  • 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.
  • 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
  • Emacs_wisi: Ada code for Emacs wisi ELPA package
  • 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

qoi qr queue
  • 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

random raspberry raspberrypi reactive reactivex readline recovering-data refcount regex regexp remoteio renderer rendering resource rest retrocomputing riff rng robotics robots ros roundbased rp2040 rpc rtmidi rts runge runge-kutta rx
  • 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
  • Raspberry_bsp: Board Support package for Raspberry PI v1, v2 and B+
  • 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

samd51 sax script scripting search security selenium semantic semver sensor serial serialization server servlet servo settings sfml sha1 sha2 sha3 shake simulation simulator soap sorting sound spark spawn spdx special-fun spi spreadsheet sprite sql sqlite ssl stack static-analysis statistics stepper stm32f0 stopwatch storage strategy streams string syntax synth syslog system
  • Matreshka_league: League - universal string library. Part of Matreshka framework
  • Tash: Binding to Tcl/Tk
  • 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

tape tcl teach template templates terminal test testing text textio tiled time timer tiny tk tls token toml tool tools trace transformation translator trees tty tuplehash tutorial tweetnacl
  • Simh_tapes: Library to handle SimH Standard magnetic tape image files
  • Tash: Binding to Tcl/Tk
  • 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
  • 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.
  • Wordle: Wordle for the terminal
  • Wordlelib: Library to track progress in a game of Wordle
  • 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
  • Tash: Binding to Tcl/Tk
  • 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
  • Rsfile: Randomly pick a file with probability proportional to its size
  • Adacl: Ada Class Library
  • 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
  • Clic: Command Line Interface Components
  • Ppag: First steps with Gnoga
  • Sparknacl: Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library

U

ui uml unbound unicode unit unit-test uri url usb user-input users utilities utility utils
  • 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
  • Clic: Command Line Interface Components
  • 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

variables versioning vfs vscode vt100
  • Dotenv: Loads environment variables from .env for Ada projects.
  • Gnatcoll: GNAT Components Collection - Core packages

W

walk watchdog wavefiles wayland web weechat widgets wiki wiki-engine wordle wordlist wsdl wsse
  • Aicwl: Ada Industrial Control Widgets Library
  • Awa: Ada Web Application
  • 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
  • Aws: Ada Web Server

X

xdg xml xmpp xoshiro xref
  • 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

yaml
  • Yeison: A JSON-like data structure using Ada 2022 features

Z

zfp zip zlib
  • 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.