ALR logo

Alire

Top 10 Tags

embedded(37) nostd(27) web(24) database(17) gnatcoll(14) sql(13) uml(12) spark(11) security(11) json(11)
  • 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
  • Bb_pico_bsp - Ada BSP for the Keyboard Featherwing + RPI PICO
  • Bbqueue - DMA friendly lock-free BipBuffer
  • Chests - Chests are bounded containers
  • 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
  • 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)
  • 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
  • Bbqueue - DMA friendly lock-free BipBuffer
  • Chests - Chests are bounded containers
  • 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)
  • 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
  • Bbqueue - DMA friendly lock-free BipBuffer
  • Blake2s - SPARK83 implementation of the BLAKE2s hash function
  • 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
  • Xoshiro - xoshiro128++ and xoshiro256++ pseudo-random number generators
  • 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
  • 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


All Tags

7

7z 7zip

A

ada ada1987 ada1995 adafruit adc adt 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.
  • 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
  • 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

base64 bbc beaglebone beans beta-function beta-incomplete binding bindings bipbuffer bitmap blake2 blake2s blas ble blog bnf bounded bsp
  • 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
  • Openglada: Thick Ada binding for OpenGL
  • Openglada_glfw: GLFW binding for use with OpenGLAda
  • Zeromq_ada: An Ada-binding the ØMQ library
  • 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
  • Anagram: Grammar handling and parser generation Ada library
  • Chests: Chests are bounded containers

C

canberra catalog cgi chacha20 chat children chrome chronometer cli client code command-line compiler compression computercraft config console container containers control coverage cross-platform cryptography cshake curve25519
  • Matreshka_xml: Library to manipulate with XML streams and documents
  • Chacha20: ChaCha20 implementation in Ada.
  • 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
  • Septum: An interactive context-based text search tool for large codebases.
  • 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
  • Adabots: Learn Ada by programming Minecraft robots
  • Dotenv: Loads environment variables from .env for Ada projects.
  • 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
  • Yeison: A JSON-like data structure using Ada 2022 features
  • Asfml: Ada binding to SFML, the Simple and Fast Multimedia Library
  • Play_2048: 2048 game: merge tiles with the same number until you add up to 2048
  • 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 data-general data-structures database db decoders deflate demo dependency dg diagram dir distributed dma document 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
  • Dg_loada: dg_loada loads (restores) legacy DG AOS/VS DUMP_II files
  • Avltrees: Threaded AVL trees library for Ada
  • Utilada: Utility Library with streams, processes, logs, serialization, encoders
  • 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
  • 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
  • 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
  • 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 email embedded embedder emoji emulation 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
  • Bb_pico_bsp: Ada BSP for the Keyboard Featherwing + RPI PICO
  • Bbqueue: DMA friendly lock-free BipBuffer
  • Chests: Chests are bounded containers
  • 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
  • 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)
  • 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

facelet fat featherwing file-size files filesystem firebird flags flash floating-point font fonts force-feedback formatting framework functional
  • Serverfaces_unit: Web Server Faces JSR 252, JSR 314 and JSR 344 (Testing framework)
  • 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)
  • Sdlada: Ada 2012 bindings to SDL 2
  • 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 generator geste getopt gimli glade glfw glib gmp gnatcoll gnatcoll-db gnoga gpio gpr grammar graph graphics graphml gtk gui
  • Eagle_lander: Apollo 11 lunar lander simulator
  • Geste: GEneric Sprite and Tile Engine
  • 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
  • Specfun: Native Ada library of special functions (e.g., beta, gamma)
  • Aicwl: Ada Industrial Control Widgets Library
  • 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
  • Getopt: POSIX getopt(3) for Ada
  • 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
  • Gnatcoll: GNAT Components Collection - Core packages
  • 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
  • Eagle_lander: Apollo 11 lunar lander simulator
  • Gtkada: An Ada graphical toolkit based on Gtk+
  • Gnoga: gnoga - The GNU Omnificent GUI for Ada
  • Gtkada: An Ada graphical toolkit based on Gtk+
  • Lvgl_ada: Bindings for the LVGL embedded GUI framework
  • Lvgl_ada_examples: Examples for the LVGL embedded GUI framework Ada binding
  • Lvgl_ada_simulator: SDL simulator for the LVGL embedded GUI framework
  • Openglada_glfw: GLFW binding for use with OpenGLAda

H

hac hal handheld hash hello hid 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 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
  • Mcp2221: MCP2221 USB Raw HID I/O Expander Library for GNAT Ada
  • Remoteio: Remote I/O Protocol Client Library for GNAT Ada
  • Qoi: Ada/SPARK implementation of the Quite Ok Image format
  • Inotify: Monitor filesystem events using Linux' inotify API
  • Evdev: Library for input devices and force-feedback using Linux' evdev API

J

jabber java jobs 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)
  • 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
  • Lmdb_ada: Bindings to the Lightning Memory-Mapped Database

L

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

M

magnetic magtape manipulation mariadb markdown matrices mcp2221 media-type mediawiki messaging meta metric microbit microchip midi mime minecraft minisam miscellanea mof 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
  • Wikiada: Wiki Engine with parser and renderer for several wiki syntaxes
  • 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
  • Asfml: Ada binding to SFML, the Simple and Fast Multimedia Library
  • Rtmidi: Ada "middleweight" binding for the rtMIDI library

N

nacl net network nls no-std nordic nosql nostd notebook nrf51 nrf52 numerics
  • Sparknacl: Verified SPARK 2014 re-implementation of TweetNaCl cryptographic 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
  • Bbqueue: DMA friendly lock-free BipBuffer
  • Chests: Chests are bounded containers
  • 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)
  • 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
  • Specfun: Native Ada library of special functions (e.g., beta, gamma)

O

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

P

parallelhash parser password pbkdf2 permissions pi pico pipe pocketbeagle posix postgres postgresql power precision pretty printing process processes progress 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)
  • Wikiada: Wiki Engine with parser and renderer for several wiki syntaxes
  • 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.
  • Spoon: Use posix_spawn() to spawn processes without forking
  • Powerjoular: Monitoring the power consumption of multiple platforms and processes
  • Gnatcoll_gmp: GNAT Components Collection - GNU Multiple Precision Arithmetic binding
  • 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

qoi queue
  • Qoi: Ada/SPARK implementation of the Quite Ok Image format
  • Brackelib: Library which contains various utility packages.

R

random raspberry raspberrypi reactive reactivex readline recovering-data refcount regex regexp remoteio renderer rendering resource rest riff rng robotics robots ros rp2040 rpc rtmidi rts 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
  • 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
  • Rxada: Experimental implementation of ReactiveX in Ada

S

samd51 sax script sdl 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 stepper stopwatch storage streams string syntax synth syslog system
  • Matreshka_league: League - universal string library. Part of Matreshka framework
  • Sdlada: Ada 2012 bindings to SDL 2
  • 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
  • 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
  • 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
  • Atomic: Standalone Ada/SPARK bindings to GCC atomic built-ins
  • Bbqueue: DMA friendly lock-free BipBuffer
  • Blake2s: SPARK83 implementation of the BLAKE2s hash function
  • 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
  • Xoshiro: xoshiro128++ and xoshiro256++ pseudo-random number generators
  • 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
  • Brackelib: Library which contains various utility 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
  • 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 teach templates terminal test testing text textio tiled time timer tiny tls token toml tool transformation translator tty tuplehash tutorial tweetnacl
  • Simh_tapes: Library to handle SimH Standard magnetic tape image files
  • Adabots: Learn Ada by programming Minecraft robots
  • Matreshka_xml: Library to manipulate with XML streams and documents
  • Aunit: Ada unit test framework
  • 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
  • Rsfile: Randomly pick a file with probability proportional to its size
  • 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
  • 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
  • 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

421 tags.