ALR logo

Alire

Top 10 Tags

#embedded(47) #nostd(31) #web(24) #database(17) #spark(15) #game(15) #orka(14) #linux(14) #gnatcoll(14) #sql(13)
  • 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
  • Esp_idf Ada binding for the ESP-IDF SDK
  • 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
  • Muntsos_beaglebone MuntsOS Embedded Linux support for BeagleBone targets
  • Muntsos_raspberrypi1 MuntsOS Embedded Linux support for RaspberryPi1 targets
  • Muntsos_raspberrypi2 MuntsOS Embedded Linux support for RaspberryPi2 targets
  • Muntsos_raspberrypi3 MuntsOS Embedded Linux support for RaspberryPi3 targets
  • Muntsos_raspberrypi4 MuntsOS Embedded Linux support for RaspberryPi4 targets
  • 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
  • Esp_idf Ada binding for the ESP-IDF SDK
  • Geste GEneric Sprite and Tile Engine
  • Hal Hardware Abstraction Layer (HAL)
  • Itsybitsy_bsp Board support package for Arduino ItsyBitsy
  • Itsybitsy_rp2040_bsp Board support package for Arduino ItsyBitsy RP2040
  • Littlefs Ada/SPARK binding for the LittleFS flash embedded filesystem
  • Microbit_bsp Board Support Package for the BBC micro:bit v1
  • Microbit_examples Examples and tutorials for Ada on the BBC micro:bit
  • Midi Library to encode and decode MIDI messages
  • Minisamd51_bsp Board Support Package for the MiniSAM D51
  • Minisamd51_example Example project for the MiniSAM D51
  • Nrf5x_hal Drivers and HAL for the Nordic nRF5X micro-controller family
  • Pico_bsp Board support package for Raspberry Pi Pico
  • Pico_examples Examples for Ada on the Raspberry Pi Pico
  • Pygamer_bsp Board Support Package for the AdaFruit PyGamer
  • Rp2040_hal Drivers and HAL for the RP2040 micro-controller family
  • Samd51_hal Drivers and HAL for the SAMD51 micro-controller family
  • 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
  • Program_proofs_in_spark Programs from the book Program Proofs in SPARK
  • Saatana SPARK/Ada Algorithms Targeting Advanced Network Applications
  • Slip SLIP Protocol Implementation
  • Spark_unbound Unbound data structures in Ada-Spark
  • Sparknacl Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library
  • Spat SPAT - SPARK Proof Analysis Tool
  • Vaton Verified Ascii To Number conversion written in Ada/SPARK
  • 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.
  • Mage Mini Ada Game Engine - A very simple game engine written in Ada
  • Mage_hat A hat that jumps around and behaves magically
  • Orka OpenGL 4.6 rendering kernel written in Ada 2012
  • Play_2048 2048 game: merge tiles with the same number until you add up to 2048
  • Pygamer_bsp Board Support Package for the AdaFruit PyGamer
  • Pygamer_simulator SDL simulator of the AdaFruit PyGamer console
  • Shoot_n_loot Platform game for the AdaFruit PyGamer console
  • 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
  • Canberra_ada Ada 2012 bindings for libcanberra
  • Epoll Linux epoll binding
  • Evdev Library for input devices and force-feedback using Linux' evdev API
  • Inotify Monitor filesystem events using Linux' inotify API
  • Keypadder Programmable virtual keypad for your Linux desktop
  • Libsimpleio Linux Simple I/O Library for GNAT Ada
  • Mcp2221 MCP2221 USB Raw HID I/O Expander Library for GNAT Ada
  • Muntsos_beaglebone MuntsOS Embedded Linux support for BeagleBone targets
  • Muntsos_raspberrypi1 MuntsOS Embedded Linux support for RaspberryPi1 targets
  • Muntsos_raspberrypi2 MuntsOS Embedded Linux support for RaspberryPi2 targets
  • Muntsos_raspberrypi3 MuntsOS Embedded Linux support for RaspberryPi3 targets
  • Muntsos_raspberrypi4 MuntsOS Embedded Linux support for RaspberryPi4 targets
  • Powerjoular Monitoring the power consumption of multiple platforms and processes
  • Remoteio Remote I/O Protocol Client Library for GNAT Ada


All Tags

2

#2d

4

#4x

7

#7z #7zip

A

#ada #ada-mode #ada1987 #ada1995 #ada2022 #adafruit #adc #adobe #adt #algebra #algorithmic #ali #analysis #annex #ansi #aos-vs #api #arbitrary #archive #arguments #arithmetic #arm #arm64 #ascon #assert #atari #atmel #atmosphere #atomic #atsamd51 #audio #aunit #authentication #automaton #avr #avx #aws #azdo
  • Adabots Learn Ada by programming Minecraft robots
  • Libadalang2xml Generates XML for Ada source, using libadalang.
  • 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
  • Apdf Portable package for producing dynamically PDF documents
  • 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
  • Adacl Ada Class Library
  • 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
  • Adacl Ada Class Library
  • Security Security Library for HTTP client and server with OAuth2 support
  • Automate Ada finite-state machine generator
  • Avrada_examples Sample applications in Ada for AVR microcontrollers
  • Avrada_lib Library of drivers for AVR microcontrollers
  • Avrada_mcu Device (MCU) specific definitions for AVR microcontrollers
  • Avrada_rts Minimal run time system (RTS) for AVR 8bit controllers
  • Orka_simd Bindings for x86 SIMD extensions like SSE, AVX2, FMA, F16C
  • Aws Ada Web Server
  • Orka OpenGL 4.6 rendering kernel written in Ada 2012
  • Orka_opengl OpenGL 4.6 backend for the Orka rendering engine

B

#bar #base64 #bbc #beaglebone #beans #bearing #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
  • Geo_coords Geo coordinates calculation for determining Location, Distance, Bearing
  • Specfun Native Ada library of special functions (e.g., beta, gamma)
  • Specfun Native Ada library of special functions (e.g., beta, gamma)
  • Ada_lua An Ada binding for lua
  • Asfml Ada binding to SFML, the Simple and Fast Multimedia Library
  • Esp_idf Ada binding for the ESP-IDF SDK
  • Ncursesada Ada binding to the ncurses text user interface library
  • Openglada Thick Ada binding for OpenGL
  • Openglada_glfw GLFW binding for use with OpenGLAda
  • 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 #commonmark #compile #compiler #compression #compute #computercraft #config #console #container #containers #control #coordinates #coroutine #countries #coverage #cross-platform #cryptography #cshake #currencies #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.
  • Adacl Ada Class Library
  • Clic Command Line Interface Components
  • Cmd_ada Command based text UI, inspired by Python cmd module
  • Parse_args An Ada 2012 package to parse command line arguments and options
  • Progress_indicators Ways of displaying progress in command line tools.
  • Rsfile Randomly pick a file with probability proportional to its size
  • Trendy_terminal Terminal options, setup, tab completion and hinting.
  • Hac HAC Ada Compiler: a small, quick Ada compiler covering a subset of Ada
  • Gnatcoll_lzma GNAT Components Collection - lzma binding
  • Gnatcoll_zlib GNAT Components Collection - zlib binding
  • Lzmada Ada LZMA Library Binding
  • Zipada Manage Zip Archives and raw LZMA streams
  • Adabots Learn Ada by programming Minecraft robots
  • Dotenv Loads environment variables from .env for Ada projects.
  • Ini_files A standalone, portable Ada package for configuration files
  • Cbsg Corporate Bullshit Generator library
  • Dummyserver DummyServer is a terminal program that serves dummy content
  • Progress_indicators Ways of displaying progress in command line tools.
  • Pygamer_bsp Board Support Package for the AdaFruit PyGamer
  • Pygamer_simulator SDL simulator of the AdaFruit PyGamer console
  • Trendy_terminal Terminal options, setup, tab completion and hinting.
  • Wordle Wordle for the terminal
  • Wordlelib Library to track progress in a game of Wordle
  • Adacl Ada Class Library
  • 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
  • Minimal_containers Much reduced version of Ada.Containers (bounded Maps, Vectors)
  • Stephes_ada_library Stephe's Ada library; miscellaneous useful stuff.
  • Yeison A JSON-like data structure using Ada 2022 features
  • Geo_coords Geo coordinates calculation for determining Location, Distance, Bearing
  • Task_coroutines Coroutines and generators using only standard tasking features
  • Iso ISO Standard references for Ada such as 1366 & 4217 (Country & Currency)
  • 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
  • Iso ISO Standard references for Ada such as 1366 & 4217 (Country & Currency)
  • Sparknacl Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library

D

#dac #dasher #data-general #data-structures #database #db #dcf #decoder #decoders #deflate #demo #dependency #dg #diagram #dir #directories #distance #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
  • 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
  • Mage_hat A hat that jumps around and behaves magically
  • Dg_loada dg_loada loads (restores) legacy DG AOS/VS DUMP_II files
  • Ashell Allows running and interacting with OS programs.
  • Geo_coords Geo coordinates calculation for determining Location, Distance, Bearing
  • 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

#earth #ebnf #echo #ed25519 #eeprom #egl #elevator #emacs #email #embedded #embedder #emoji #emulation #emulator #encoders #encoding #endianness #energy #engine #english #env #environment #epoll #esp #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
  • Esp_idf Ada binding for the ESP-IDF SDK
  • 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
  • Muntsos_beaglebone MuntsOS Embedded Linux support for BeagleBone targets
  • Muntsos_raspberrypi1 MuntsOS Embedded Linux support for RaspberryPi1 targets
  • Muntsos_raspberrypi2 MuntsOS Embedded Linux support for RaspberryPi2 targets
  • Muntsos_raspberrypi3 MuntsOS Embedded Linux support for RaspberryPi3 targets
  • Muntsos_raspberrypi4 MuntsOS Embedded Linux support for RaspberryPi4 targets
  • Nrf5x_hal Drivers and HAL for the Nordic nRF5X micro-controller family
  • Pico_bsp Board support package for Raspberry Pi Pico
  • Pico_examples Examples for Ada on the Raspberry Pi Pico
  • Pygamer_bsp Board Support Package for the AdaFruit PyGamer
  • Remoteio Remote I/O Protocol Client Library for GNAT Ada
  • Rp2040_hal Drivers and HAL for the RP2040 micro-controller family
  • Samd51_hal Drivers and HAL for the SAMD51 micro-controller family
  • Sh1107 Driver for the SH1107/OLED 128x128 monochrome display
  • Slip SLIP Protocol Implementation
  • Startup_gen Generates startup files (crt0 and linker script)
  • Stm32f0x2_hal Drivers and HAL for stm32f0x2 mcu family
  • Tiny_rp2040_bsp Board support package for Pimoroni Tiny RP2040
  • Usb_embedded An Ada USB stack for embedded devices
  • Are Advanced Resource Embedder
  • Emojis A library to replace names between colons with emojis
  • Simh_tapes Library to handle SimH Standard magnetic tape image files
  • Utilada Utility Library with streams, processes, logs, serialization, encoders
  • Matreshka_league League - universal string library. Part of Matreshka framework
  • Qoi Ada/SPARK implementation of the Quite Ok Image format
  • Endianness Convenience subprograms to convert between Big- and Little-endianness
  • Powerjoular Monitoring the power consumption of multiple platforms and processes
  • Mage Mini Ada Game Engine - A very simple game engine written in Ada
  • Orka OpenGL 4.6 rendering kernel written in Ada 2012
  • Dotenv Loads environment variables from .env for Ada projects.
  • Dotenv Loads environment variables from .env for Ada projects.
  • Epoll Linux epoll binding
  • Esp_idf Ada binding for the ESP-IDF SDK
  • Evdev Library for input devices and force-feedback using Linux' evdev API
  • Elada Expression Language Library (JSR245)
  • Elada Expression Language Library (JSR245)

F

#f16c #facelet #family #fat #featherwing #file-size #files #filesystem #firebird #flags #flash #floating-point #florist #fma #font #fonts #force-feedback #formatting #framework #functional
  • Orka_simd Bindings for x86 SIMD extensions like SSE, AVX2, FMA, F16C
  • Serverfaces_unit Web Server Faces JSR 252, JSR 314 and JSR 344 (Testing framework)
  • Bingada Bingo application in GTKAda with sound in ASFML
  • 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
  • Orka_simd Bindings for x86 SIMD extensions like SSE, AVX2, FMA, F16C
  • 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 #gamepad #games #gamma-function #gauge #generalized #generator #geo #geste #getopt #gfm #gif #gimli #glade #glfw #glib #gltf #gmp #gnatcoll #gnatcoll-db #gnatmetric #gnatpp #gnatstub #gnattest #gnoga #gpgpu #gpio #gpr #gpu #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.
  • Mage Mini Ada Game Engine - A very simple game engine written in Ada
  • Mage_hat A hat that jumps around and behaves magically
  • Orka OpenGL 4.6 rendering kernel written in Ada 2012
  • Play_2048 2048 game: merge tiles with the same number until you add up to 2048
  • Pygamer_bsp Board Support Package for the AdaFruit PyGamer
  • Pygamer_simulator SDL simulator of the AdaFruit PyGamer console
  • Shoot_n_loot Platform game for the AdaFruit PyGamer console
  • Tiled_code_gen Generate GESTE data from Tiled maps and tilesets
  • Virtapu A virtual Audio Processing Unit to simulate 8-bit era game sounds
  • Wordle Wordle for the terminal
  • Wordlelib Library to track progress in a game of Wordle
  • Asfml Ada binding to SFML, the Simple and Fast Multimedia Library
  • Sdlada Ada 2012 SDL 2.x bindings.
  • Specfun Native Ada library of special functions (e.g., beta, gamma)
  • Aicwl Ada Industrial Control Widgets Library
  • Wisitoken Generalized error correcting LALR and packrat parser generator
  • Ada_pretty Ada Pretty Printer Library
  • Aflex An Ada Lexical Analyzer Generator
  • Anagram Grammar handling and parser generation Ada library
  • Are Advanced Resource Embedder
  • Automate Ada finite-state machine generator
  • Ayacc An Ada LARL(1) parser generator
  • Dynamo Dynamo Ada Generator
  • Libadalang_tools Ada semantic analysis library extension and tools
  • Protobuf Google Protocol Buffers implementation in Ada
  • Task_coroutines Coroutines and generators using only standard tasking features
  • Wisitoken Generalized error correcting LALR and packrat parser generator
  • Geo_coords Geo coordinates calculation for determining Location, Distance, Bearing
  • 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.
  • Orka OpenGL 4.6 rendering kernel written in Ada 2012
  • Orka_plugin_gltf Orka plug-in for loading glTF models
  • Orka_tools Tools for the Orka rendering kernel
  • Gnatcoll_gmp GNAT Components Collection - GNU Multiple Precision Arithmetic binding
  • 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
  • Labs_solar_system A set of SDL-based exercises to learn Ada
  • Openglada Thick Ada binding for OpenGL
  • Openglada_images Image loading library for OpenGLAda
  • Orka OpenGL 4.6 rendering kernel written in Ada 2012
  • Orka_awt Ada Window Toolkit
  • Orka_opengl OpenGL 4.6 backend for the Orka rendering engine
  • 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 #haversine #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
  • Geo_coords Geo coordinates calculation for determining Location, Distance, Bearing
  • 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 #integration #irc #iso-1366 #iso-4217 #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
  • Orka_awt Ada Window Toolkit
  • Iso ISO Standard references for Ada such as 1366 & 4217 (Country & Currency)
  • Iso ISO Standard references for Ada such as 1366 & 4217 (Country & Currency)

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

#kalman #kangarootwelve #keccak #kernel #key-value #keyboard #keypad #kmac #ktx #kutta
  • Orka_numerics Tensors (multidimensional arrays) and integrators
  • Lmdb_ada Bindings to the Lightning Memory-Mapped Database
  • Keypadder Programmable virtual keypad for your Linux desktop
  • Keypadder Programmable virtual keypad for your Linux desktop
  • Orka OpenGL 4.6 rendering kernel written in Ada 2012
  • Orka_tools Tools for the Orka rendering kernel
  • Mathpaqs A collection of mathematical, 100% portable, packages

L

#l10n #labs #lapack #latin-1 #latitude #launch #learn #leastsquares #led #legacy #libadalang #libgomp #library #libsimpleio #license #linalg #line-editing #linearalgebra #linenoise #linux #localisation #localization #lockfree #logging #longitude #lsp #lua #lvgl #lzma #lzw
  • Felix X/Open Native Language System (NLS) for Ada
  • Utf8test Test the terminal behavior when outputting Latin-1 and UTF-8 strings
  • Geo_coords Geo coordinates calculation for determining Location, Distance, Bearing
  • Spawn A simple library to spawn processes and communicate with them.
  • Spawn_glib A simple library to spawn processes and communicate with them.
  • 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
  • Keypadder Programmable virtual keypad for your Linux desktop
  • Libsimpleio Linux Simple I/O Library for GNAT Ada
  • Mcp2221 MCP2221 USB Raw HID I/O Expander Library for GNAT Ada
  • Muntsos_beaglebone MuntsOS Embedded Linux support for BeagleBone targets
  • Muntsos_raspberrypi1 MuntsOS Embedded Linux support for RaspberryPi1 targets
  • Muntsos_raspberrypi2 MuntsOS Embedded Linux support for RaspberryPi2 targets
  • Muntsos_raspberrypi3 MuntsOS Embedded Linux support for RaspberryPi3 targets
  • Muntsos_raspberrypi4 MuntsOS Embedded Linux support for RaspberryPi4 targets
  • 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
  • Adacl Ada Class Library
  • 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
  • Geo_coords Geo coordinates calculation for determining Location, Distance, Bearing
  • 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

#macro #macropad #magic #magnetic #magtape #manipulation #mariadb #markdown #math #mathematics #matrices #matrix #mcp2221 #media-type #mediawiki #messaging #meta #metric #microbit #microchip #midi #mime #minecraft #minisam #miscellanea #mobile #mof #mos-6502 #motor #mpfr #multimedia #muntsos #music #mysql
  • Keypadder Programmable virtual keypad for your Linux desktop
  • Keypadder Programmable virtual keypad for your Linux desktop
  • Mage_hat A hat that jumps around and behaves magically
  • 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
  • Euler_tools Assortment of mathematical functions to solve Project Euler problems.
  • 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)
  • Keypadder Programmable virtual keypad for your Linux desktop
  • 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 #ndarray #net #network #nls #no-std #nordic #nosql #nostd #notebook #nrf51 #nrf52 #numerics #numpy
  • 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
  • Esp_idf Ada binding for the ESP-IDF SDK
  • Geste GEneric Sprite and Tile Engine
  • Hal Hardware Abstraction Layer (HAL)
  • Itsybitsy_bsp Board support package for Arduino ItsyBitsy
  • Itsybitsy_rp2040_bsp Board support package for Arduino ItsyBitsy RP2040
  • Littlefs Ada/SPARK binding for the LittleFS flash embedded filesystem
  • Microbit_bsp Board Support Package for the BBC micro:bit v1
  • Microbit_examples Examples and tutorials for Ada on the BBC micro:bit
  • Midi Library to encode and decode MIDI messages
  • Minisamd51_bsp Board Support Package for the MiniSAM D51
  • Minisamd51_example Example project for the MiniSAM D51
  • Nrf5x_hal Drivers and HAL for the Nordic nRF5X micro-controller family
  • Pico_bsp Board support package for Raspberry Pi Pico
  • Pico_examples Examples for Ada on the Raspberry Pi Pico
  • Pygamer_bsp Board Support Package for the AdaFruit PyGamer
  • Rp2040_hal Drivers and HAL for the RP2040 micro-controller family
  • Samd51_hal Drivers and HAL for the SAMD51 micro-controller family
  • 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 #optimization #optional #options #oracle #orka #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
  • Orka_numerics Tensors (multidimensional arrays) and integrators
  • Optional Optional values a la java.lang.Optional
  • Getopt POSIX getopt(3) for Ada
  • Ashell Allows running and interacting with OS programs.

P

#parallelhash #parallelization #parser #password #pbkdf2 #pdf #permissions #pi #pico #pipe #png #pocketbeagle #pool #portable #posix #postgres #postgresql #power #precision #pretty #printing #probability #process #processes #programmable #progress #project #project-euler #projects #protocol #protocols #puzzle #pwm #pygamer #python #python2 #python3
  • Workers Simple task pool for parallelization
  • Aflex An Ada Lexical Analyzer Generator
  • Ayacc An Ada LARL(1) parser generator
  • Elada Expression Language Library (JSR245)
  • Emacs_gpr_mode parser for Emacs gpr mode
  • Emacs_wisitoken_grammar_mode parser for Emacs wisitoken-grammar mode
  • 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
  • Apdf Portable package for producing dynamically PDF documents
  • Security Security Library for HTTP client and server with OAuth2 support
  • Bb_pico_bsp Ada BSP for the Keyboard Featherwing + RPI PICO
  • Pico_bsp Board support package for Raspberry Pi Pico
  • Pico_examples Examples for Ada on the Raspberry Pi Pico
  • Spawn A simple library to spawn processes and communicate with them.
  • Spawn_glib A simple library to spawn processes and communicate with them.
  • Gid Decoding a broad variety of image formats
  • Workers Simple task pool for parallelization
  • 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
  • Keypadder Programmable virtual keypad for your Linux desktop
  • Euler_tools Assortment of mathematical functions to solve Project Euler problems.
  • 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 #quaternion #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
  • Orka_transforms Library to transform vectors, matrices, and quaternions using SIMD
  • Basalt Collection of formally verified building blocks
  • Brackelib Library which contains various utility packages.

R

#random #raspberry #raspberrypi #raspberrypi1 #raspberrypi2 #raspberrypi3 #raspberrypi4 #reactive #reactivex #readline #recovering-data #refcount #regex #regexp #remoteio #renderer #rendering #resource #rest #retrocomputing #riff #riscv #rk4 #rng #robotics #robots #ros #roundbased #rp2040 #rpc #rtmidi #rts #runge #runge-kutta #rx
  • Orka_numerics Tensors (multidimensional arrays) and integrators
  • Orka_tensors_cpu Tensors using SIMD instructions on the CPU
  • Orka_tensors_gpu Tensors using compute shaders on the GPU
  • Rsfile Randomly pick a file with probability proportional to its size
  • System_random Minimal library to retrieve random data from system sources
  • Xoshiro xoshiro128++ and xoshiro256++ pseudo-random number generators
  • 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
  • Esp_idf Ada binding for the ESP-IDF SDK
  • Orka_numerics Tensors (multidimensional arrays) and integrators
  • 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 #sdl #search #security #selenium #semantic #semver #sensor #serial #serialization #server #servlet #servo #settings #sfml #sha1 #sha2 #sha3 #shaders #shake #simd #simulation #simulator #smart-pointer #soap #sorting #sound #spark #spawn #spdx #special-fun #spi #spreadsheet #sprite #sql #sqlite #sse #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
  • Mage Mini Ada Game Engine - A very simple game engine written in Ada
  • 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
  • Orka_simd Bindings for x86 SIMD extensions like SSE, AVX2, FMA, F16C
  • Orka_tensors_cpu Tensors using SIMD instructions on the CPU
  • Simh_tapes Library to handle SimH Standard magnetic tape image files
  • Adacl Ada Class Library
  • 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
  • Program_proofs_in_spark Programs from the book Program Proofs in SPARK
  • Saatana SPARK/Ada Algorithms Targeting Advanced Network Applications
  • Slip SLIP Protocol Implementation
  • Spark_unbound Unbound data structures in Ada-Spark
  • Sparknacl Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library
  • Spat SPAT - SPARK Proof Analysis Tool
  • Vaton Verified Ascii To Number conversion written in Ada/SPARK
  • 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
  • Orka_simd Bindings for x86 SIMD extensions like SSE, AVX2, FMA, F16C
  • Aws Ada Web Server
  • Gnoga gnoga - The GNU Omnificent GUI for Ada
  • Tlsada Bindings for libtls
  • Basalt Collection of formally verified building blocks
  • 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
  • Adacl Ada Class Library
  • 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

#tablet #tape #tasking #tcl #teach #teaching #template #templates #tensor #terminal #terrain #test #testing #text #textio #tiled #time #timer #tiny #tk #tls #token #toml #tool #tools #trace #training #transformation #translator #trees #tty #tuplehash #tutorial #tweetnacl
  • Keypadder Programmable virtual keypad for your Linux desktop
  • Simh_tapes Library to handle SimH Standard magnetic tape image files
  • Workers Simple task pool for parallelization
  • 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.
  • Utf8test Test the terminal behavior when outputting Latin-1 and UTF-8 strings
  • Wordle Wordle for the terminal
  • Wordlelib Library to track progress in a game of Wordle
  • 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 #utf-8 #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
  • Utf8test Test the terminal behavior when outputting Latin-1 and UTF-8 strings
  • Uxstrings Unicode Extended Strings utilities
  • Vss Advanced string and text manipulation with Unicode support
  • Aunit Ada unit test framework
  • Trendy_test Minimal Effort Ada Unit Testing Library
  • Aunit Ada unit test framework
  • Trendy_test Minimal Effort Ada Unit Testing Library
  • 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)
  • Utf8test Test the terminal behavior when outputting Latin-1 and UTF-8 strings
  • Si_units Pretty print physical values in properly scaled metric (SI) units.
  • Aaa Alex's Ada Assortment (of miscellaneous utilities)
  • 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 #vector #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 #windowed #windows #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 #xtensa
  • Ajunitgen Generator of JUnit-compatible XML reports
  • Libadalang2xml Generates XML for Ada source, using libadalang.
  • Matreshka_league League - universal string library. Part of Matreshka framework
  • Matreshka_xml Library to manipulate with XML streams and documents
  • Utilada_xml Utility Library serialization with XML/Ada
  • Vss Advanced string and text manipulation with Unicode support
  • Xia Implements XPath 1.0 in Ada
  • Axmpp XMPP client library in Ada
  • Xoshiro xoshiro128++ and xoshiro256++ pseudo-random number generators
  • Esp_idf Ada binding for the ESP-IDF SDK

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
  • Orka_plugin_archives Orka plug-in to load resources from Zip archives
  • Zipada Manage Zip Archives and raw LZMA streams
  • Zipdcf Tools that can (un)zip document container files, Zip-based archive files

563 tags.