ALR logo

Alire

Top 10 Tags

#embedded(91) #nostd(33) #web(29) #a0b(20) #linux(18) #database(18) #game(17) #spark(16) #http(15) #orka(14)
  • Adl_middleware Middleware layer of the Ada Drivers Library project
  • Atomic Standalone Ada/SPARK bindings to GCC atomic built-ins
  • Basalt Collection of formally verified building blocks
  • Bbqueue DMA friendly lock-free BipBuffer
  • Chests Chests are bounded containers
  • Cobs Consistent Overhead Byte Stuffing (COBS) encoder/decoder
  • Cortex_m Drivers for Cortex-M micro-controllers (NVIC, SysTick, etc.)
  • Eeprom_i2c EEPROM I2C drivers library for embedded platforms
  • Embedded_components Platform agnostic drivers to interface external components
  • Esp_idf Ada binding for the ESP-IDF SDK
  • Geste GEneric Sprite and Tile Engine
  • Hal Hardware Abstraction Layer (HAL)
  • Itsybitsy_bsp Board support package for Arduino ItsyBitsy
  • Itsybitsy_rp2040_bsp Board support package for Arduino ItsyBitsy RP2040
  • Littlefs Ada/SPARK binding for the LittleFS flash embedded filesystem
  • Microbit_bsp Board Support Package for the BBC micro:bit v1
  • Microbit_examples Examples and tutorials for Ada on the BBC micro:bit
  • Midi Library to encode and decode MIDI messages
  • Minisamd51_bsp Board Support Package for the MiniSAM D51
  • Minisamd51_example Example project for the MiniSAM D51
  • Nrf5x_hal Drivers and HAL for the Nordic nRF5X micro-controller family
  • Pico_bsp Board support package for Raspberry Pi Pico
  • Pico_examples Examples for Ada on the Raspberry Pi Pico
  • Pygamer_bsp Board Support Package for the AdaFruit PyGamer
  • Rp2040_hal Drivers and HAL for the RP2040 micro-controller family
  • Samd51_hal Drivers and HAL for the SAMD51 micro-controller family
  • St7789 SPI based driver for the ST7789 TFT display
  • Startup_gen Generates startup files (crt0 and linker script)
  • Stm32f0x2_hal Drivers and HAL for stm32f0x2 mcu family
  • Tiny_rp2040_bsp Board support package for Pimoroni Tiny RP2040
  • Tresses Synth library inspired by Mutable Instruments Braids
  • Usb_embedded An Ada USB stack for embedded devices
  • Virtapu A virtual Audio Processing Unit to simulate 8-bit era game sounds
  • 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
  • Mine_detector The Gnoga/Ada-GUI version of Mine Detector
  • Orka OpenGL 4.6 rendering kernel written in Ada 2012
  • Play_2048 2048 game: merge tiles with the same number until you add up to 2048
  • Pygamer_bsp Board Support Package for the AdaFruit PyGamer
  • Pygamer_simulator SDL simulator of the AdaFruit PyGamer console
  • Shoot_n_loot Platform game for the AdaFruit PyGamer console
  • Suika_programing Suika game clone with programing languages
  • Tiled_code_gen Generate GESTE data from Tiled maps and tilesets
  • Virtapu A virtual Audio Processing Unit to simulate 8-bit era game sounds
  • Wordle Wordle for the terminal
  • Wordlelib Library to track progress in a game of Wordle
  • 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
  • Elogs Embedded logging, proven absent of runtime errors
  • 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


All Tags

2

#2022 #2023 #2d
  • Aoa_22 Advent of Ada 22 Solutions
  • Aoa_23 Some Advent of Ada 2023 solutions

3

#3d-graphics #3d-rendering
  • Globe_3d GLOBE_3D: GL Object Based Engine for 3D
  • Globe_3d GLOBE_3D: GL Object Based Engine for 3D

4

#4x

7

#7z #7zip

A

#a0b #aadl #aarch64 #ada #ada-2022 #ada-mode #ada1987 #ada1995 #ada2022 #adafruit #adc #adler32 #adobe #adt #advent-of-code #adventofada #algebra #algorithmic #ali #alire #analysis #analyzer #animated #animation #annex #ansi #aos-vs #api #aplaymidi #appimage #application #arbitrary #archive #arduino #arguments #arithmetic #arm #arm64 #armv7m #arp #array #ascon #asian #assert #atari #atmel #atmosphere #atomic #atsam3x8e #atsamd51 #audio #aunit #authentication #automaton #avr #avx #aws #azdo #azip
  • Ocarina_lib Ocarina is a stand-alone AADL model processor, written in Ada.
  • Adabots Learn Ada by programming Minecraft robots
  • Getada The unofficial mac and linux installer for Alire.
  • Gnatformat Opinionated code formatter for the Ada language
  • Lal_refactor Source code refactoring utilities for the Ada language
  • Libadalang2xml Generates XML for Ada source, using libadalang.
  • Libgnatformat opinionated code format library for the Ada language
  • 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
  • Mcp2221 MCP2221 USB Raw HID I/O Expander Library for GNAT Ada
  • Remoteio Remote I/O Protocol Client Library for GNAT Ada
  • Checksum Algorithms for error-checking
  • Apdf Portable package for producing dynamically PDF documents
  • Brackelib Library which contains various utility packages.
  • Hac HAC Ada Compiler: a small, quick Ada compiler covering a subset of Ada
  • Aoa_22 Advent of Ada 22 Solutions
  • Mathpaqs A collection of mathematical, 100% portable, packages
  • Alr2appimage Tool to create an AppImage executable from an Alire crate
  • Getada The unofficial mac and linux installer for Alire.
  • Cheddar Cheddar is a real time scheduling analysis tool.
  • Gid Generic Image Decoder - decode a broad variety of image formats
  • Gid Generic Image Decoder - decode a broad variety of image formats
  • Garlic GNAT Library for Ada Distributed Environment (garlic)
  • Gnatdist_garlic The configuration tool gnatdist for GARLIC
  • Dg_loada dg_loada loads (restores) legacy DG AOS/VS DUMP_II files
  • Openai OpenAI client library
  • Openapi OpenAPI library to build REST client applications
  • Openapi_server OpenAPI library to build REST server applications
  • Win32ada Ada API to the Windows library
  • Emdee Performance assistant for Musical Directors
  • Alr2appimage Tool to create an AppImage executable from an Alire crate
  • Azip AZip - A portable Zip Archive Manager
  • Lea LEA is a Lightweight Editor for Ada
  • Texcad TeXCAD is a program for drawing or retouching {picture}s in LaTeX
  • Gnatcoll_gmp GNAT Components Collection - GNU Multiple Precision Arithmetic binding
  • Azip AZip - A portable Zip Archive Manager
  • Dcf Ada 2012 library for document container files, Zip-based archive files
  • Zipada Manage Zip Archives and raw BZip2 and 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
  • Enet Ada Embedded Network Stack
  • Bit_sets A packed boolean array that saves space and is performant
  • Umwi Unicode Monospace Width Information
  • Adacl Ada Class Library (String, Trace, AUnit, Smart Pointer. GetOpt)
  • 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
  • Linux_hal HAL drivers for Linux userspace
  • Musicplayer A Music Player
  • Tresses Synth library inspired by Mutable Instruments Braids
  • Virtapu A virtual Audio Processing Unit to simulate 8-bit era game sounds
  • Adacl Ada Class Library (String, Trace, AUnit, Smart Pointer. GetOpt)
  • Security Security Library for HTTP client and server with OAuth2 support
  • Automate Ada finite-state machine generator
  • Avrada_examples Sample applications in Ada for AVR microcontrollers
  • Avrada_lib Library of drivers for AVR microcontrollers
  • Avrada_mcu Device (MCU) specific definitions for AVR microcontrollers
  • Avrada_rts Minimal run time system (RTS) for AVR 8bit controllers
  • Orka_simd Bindings for x86 SIMD extensions like SSE, AVX2, FMA, F16C
  • Aws Ada Web Server
  • Orka OpenGL 4.6 rendering kernel written in Ada 2012
  • Orka_opengl OpenGL 4.6 backend for the Orka rendering engine
  • Azip AZip - A portable Zip Archive Manager

B

#bar #bar-code #barcode #base64 #bbc #beaglebone #beans #bearing #beta-function #beta-incomplete #binary #binarytrees #binding #bindings #bingo #bipbuffer #bit #bitmap #black-box #blackpill #blake2 #blake2s #blas #ble #blog #bmp #bnf #boolean #bounded #bsp #builtins #bzip2
  • Bar_codes Generate various types of bar codes (1D or 2D) on various media
  • Bar_codes Generate various types of bar codes (1D or 2D) on various media
  • Bar_code_drawing Creation of bar codes and qr codes
  • Bar_codes Generate various types of bar codes (1D or 2D) on various media
  • Base64 Base64 encoding/decoding routines
  • Microbit_bsp Board Support Package for the BBC micro:bit v1
  • 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)
  • Controlled_io Files that are open while they exist and closed when they don't
  • Binary_trees Ordered binary trees implemented without access types
  • Ada_lua An Ada binding for lua
  • Asfml Ada binding to SFML, the Simple and Fast Multimedia Library
  • Chipmunk2d Ada bindings for Chipmunk2D
  • Esp_idf Ada binding for the ESP-IDF SDK
  • Ncursesada Ada binding to the ncurses text user interface library
  • Openglada Thick Ada binding for OpenGL
  • Openglada_glfw GLFW binding for use with OpenGLAda
  • Raylib Ada bindings for Raylib
  • Zeromq_ada An Ada-binding the ØMQ library
  • Bingada Bingo application in GTKAda with sound in ASFML
  • Bbqueue DMA friendly lock-free BipBuffer
  • Bit_sets A packed boolean array that saves space and is performant
  • Adl_middleware Middleware layer of the Ada Drivers Library project
  • Gid Generic Image Decoder - decode a broad variety of image formats
  • St7789 SPI based driver for the ST7789 TFT display
  • Tiny_text Low resolution bitmap font with a small memory footprint
  • Bbt Black box test runner
  • 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
  • Bar_code_drawing Creation of bar codes and qr codes
  • Gid Generic Image Decoder - decode a broad variety of image formats
  • Image_io Output in BMP,PPM,QOI;input in BMP,GIF,JPG,PNG,PNM,QOI,TGA
  • Anagram Grammar handling and parser generation Ada library
  • Bit_sets A packed boolean array that saves space and is performant
  • Dirty_booleans Comparisons with 0/1, T/F, Y/N, Yes/No, etc.
  • Chests Chests are bounded containers
  • Zipada Manage Zip Archives and raw BZip2 and LZMA streams

C

#cad #calculator #callbacks #camera #canberra #cards #catalog #cfg #cfg-file #cgi #chacha20 #chance #charts #chat #checking #children #chipmunk #chrome #chronometer #cli #client #cluster #cobs #code #code128 #collision #color #combining #command #command-line #commonmark #comparison #compile #compiler #compression #compute #computercraft #config #configuration #console #container #containers #contour #contour-plot #control #controlled #conversions #coordinates #coroutine #correlations #cortex-m #cortex-m3 #cortex-m4 #cortex-m7 #countries #coverage #cpm #cpu-simulator #crc #crc32 #cross-platform #cryptography #cshake #csv #currencies #currency #curve25519
  • Texcad TeXCAD is a program for drawing or retouching {picture}s in LaTeX
  • Pragmarc The PragmAda Reusable Components
  • Matreshka_xml Library to manipulate with XML streams and documents
  • Ini_files A standalone, portable Ada package for configuration files
  • Ini_files A standalone, portable Ada package for configuration files
  • Chacha20 ChaCha20 implementation in Ada.
  • Bingada Bingo application in GTKAda with sound in ASFML
  • Checksum Algorithms for error-checking
  • 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
  • Umwi Unicode Monospace Width Information
  • Cobs Consistent Overhead Byte Stuffing (COBS) encoder/decoder
  • Bar_codes Generate various types of bar codes (1D or 2D) on various media
  • Septum An interactive context-based text search tool for large codebases.
  • Bar_code_drawing Creation of bar codes and qr codes
  • Bar_codes Generate various types of bar codes (1D or 2D) on various media
  • Globe_3d GLOBE_3D: GL Object Based Engine for 3D
  • Gid Generic Image Decoder - decode a broad variety of image formats
  • Umwi Unicode Monospace Width Information
  • Ashell Allows running and interacting with OS programs.
  • Adacl Ada Class Library (String, Trace, AUnit, Smart Pointer. GetOpt)
  • Clic Command Line Interface Components
  • Cmd_ada Command based text UI, inspired by Python cmd module
  • Parse_args An Ada 2012 package to parse command line arguments and options
  • Progress_indicators Ways of displaying progress in command line tools.
  • Rsfile Randomly pick a file with probability proportional to its size
  • Trendy_terminal Terminal options, setup, tab completion and hinting.
  • Hac HAC Ada Compiler: a small, quick Ada compiler covering a subset of Ada
  • Gnatcoll_lzma GNAT Components Collection - lzma binding
  • Gnatcoll_zlib GNAT Components Collection - zlib binding
  • Lzmada Ada LZMA Library Binding
  • Z_compression Standalone version of the Zlib Deflate compression algorithm
  • Zipada Manage Zip Archives and raw BZip2 and LZMA streams
  • Adabots Learn Ada by programming Minecraft robots
  • Dotenv Loads environment variables from .env for Ada projects.
  • Ini_files A standalone, portable Ada package for configuration files
  • Ini_files A standalone, portable Ada package for configuration files
  • Adacl Ada Class Library (String, Trace, AUnit, Smart Pointer. GetOpt)
  • Dcf Ada 2012 library for document container files, Zip-based archive files
  • List_image helper to dump iterable containers with customizable style
  • Zipdcf Tools that can (un)zip document container files, Zip-based archive files
  • Chests Chests are bounded containers
  • Minimal_containers Much reduced version of Ada.Containers (bounded Maps, Vectors)
  • Pragmarc The PragmAda Reusable Components
  • Stephes_ada_library Stephe's Ada library; miscellaneous useful stuff.
  • Yeison A JSON-like data structure using Ada 2022 features
  • Mathpaqs A collection of mathematical, 100% portable, packages
  • Mathpaqs A collection of mathematical, 100% portable, packages
  • Controlled_io Files that are open while they exist and closed when they don't
  • Pragmarc The PragmAda Reusable Components
  • Geo_coords Geo coordinates calculation for determining Location, Distance, Bearing
  • Task_coroutines Coroutines and generators using only standard tasking features
  • Sciada Collection of Scientific Operations
  • A0b_armv7m ARMv7-M support (Cortex-M3, Cortex-M4, Cortex-M7)
  • A0b_armv7m ARMv7-M support (Cortex-M3, Cortex-M4, Cortex-M7)
  • A0b_armv7m ARMv7-M support (Cortex-M3, Cortex-M4, Cortex-M7)
  • A0b_armv7m ARMv7-M support (Cortex-M3, Cortex-M4, Cortex-M7)
  • Iso ISO Standard references for Ada such as 1366 & 4217 (Country & Currency)
  • Loadcpm Write CP/M (or other similar binary) to floppy disk image
  • Checksum Algorithms for error-checking
  • Crc_32 Cyclic Redundancy Check to verify data integrity (ISO 3309)
  • Checksum Algorithms for error-checking
  • 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)
  • Cashe A fixed-point decimal money library written in Ada.
  • Sparknacl Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library

D

#dac #dasher #data #data-general #data-matrix #data-structures #database #datamatrix #datastructures #db #dcf #decimal #decoder #decoders #decoding #decompress #deflate #demo #dependency #devices #dg #dhcp #diagram #digitization #dir #directories #dirty #display #distance #distributed #dm41x #dma #dns #document #documentation #dom #dotclear #dotenv #draw #drawing #driver #drivers #dsa #due #dynamic
  • Libsimpleio Linux Simple I/O Library
  • Mcp2221 MCP2221 USB Raw HID I/O Expander Library for GNAT Ada
  • Remoteio Remote I/O Protocol Client Library for GNAT Ada
  • Crc_32 Cyclic Redundancy Check to verify data integrity (ISO 3309)
  • Qplt An Ada-GUI program to quickly produce a plot of a data set
  • Dg_loada dg_loada loads (restores) legacy DG AOS/VS DUMP_II files
  • Bar_codes Generate various types of bar codes (1D or 2D) on various media
  • Avltrees Threaded AVL trees library for Ada
  • Bar_codes Generate various types of bar codes (1D or 2D) on various media
  • Pragmarc The PragmAda Reusable Components
  • Cashe A fixed-point decimal money library written in Ada.
  • Gid Generic Image Decoder - decode a broad variety of image formats
  • Utilada Utility Library with streams, processes, logs, serialization, encoders
  • Gid Generic Image Decoder - decode a broad variety of image formats
  • Gid Generic Image Decoder - decode a broad variety of image formats
  • Gnatcoll_zlib GNAT Components Collection - zlib binding
  • Z_compression Standalone version of the Zlib Deflate compression algorithm
  • Zipada Manage Zip Archives and raw BZip2 and LZMA streams
  • Avrada_examples Sample applications in Ada for AVR microcontrollers
  • Hello 'Hello, world!' demonstration project
  • Libhello Basic library demonstration project
  • Mage_hat A hat that jumps around and behaves magically
  • Bbs_embed_linux Physical device drivers for Raspberry Pi and BeagleBone Black
  • Dg_loada dg_loada loads (restores) legacy DG AOS/VS DUMP_II files
  • Enet Ada Embedded Network Stack
  • Gid Generic Image Decoder - decode a broad variety of image formats
  • Ashell Allows running and interacting with OS programs.
  • St7789 SPI based driver for the ST7789 TFT display
  • Geo_coords Geo coordinates calculation for determining Location, Distance, Bearing
  • Pico_ultrasonic_ranger Driver for the Grove ultrasonic ranger. Depends on the RP Pico HAL.
  • Garlic GNAT Library for Ada Distributed Environment (garlic)
  • Gnatdist_garlic The configuration tool gnatdist for GARLIC
  • Zeromq_ada An Ada-binding the ØMQ library
  • Enet Ada Embedded Network Stack
  • Dcf Ada 2012 library for document container files, Zip-based archive files
  • Zipdcf Tools that can (un)zip document container files, Zip-based archive files
  • Gnatdoc GNAT Documentation Generation Tool
  • Libgnatdoc GNAT Documentation Generation Tool (as a library)
  • Matreshka_xml Library to manipulate with XML streams and documents
  • Wikiada Wiki Engine with parser and renderer for several wiki syntaxes
  • Dotenv Loads environment variables from .env for Ada projects.
  • Texcad TeXCAD is a program for drawing or retouching {picture}s in LaTeX
  • Texcad TeXCAD is a program for drawing or retouching {picture}s in LaTeX
  • Bme280 Driver for BME280 Humidity sensor
  • Enet_stm32 ENet driver for STM32
  • Ethernet Root crate for ethernet namespace and MDIO/SMI/MIIM interface
  • Hmc5883 Driver for HMC5883L magnetic sensor
  • Qmc5883 Driver for QMC5883L magnetic sensor
  • St7789 SPI based driver for the ST7789 TFT display
  • Avrada_lib Library of drivers for AVR microcontrollers
  • Nrf5x_hal Drivers and HAL for the Nordic nRF5X micro-controller family
  • Rp2040_hal Drivers and HAL for the RP2040 micro-controller family
  • Samd51_hal Drivers and HAL for the SAMD51 micro-controller family
  • St7789 SPI based driver for the ST7789 TFT display
  • Stm32f0x2_hal Drivers and HAL for stm32f0x2 mcu family
  • Garlic GNAT Library for Ada Distributed Environment (garlic)
  • Gnatdist_garlic The configuration tool gnatdist for GARLIC
  • Uxstrings Unicode Extended Strings utilities

E

#ean13 #earth #east #ebnf #echo #ed25519 #editor #education #eeprom #egl #elevator #emacs #email #embedded #embedder #emoji #emoticon #emulation #emulator #encoders #encoding #encryption #endianness #energy #enet #engine #english #env #environment #epoll #error #error-checking #esp #evdev #excel #execution #expander #expression #exti #extract
  • Bar_code_drawing Creation of bar codes and qr codes
  • Bar_codes Generate various types of bar codes (1D or 2D) on various media
  • Umwi Unicode Monospace Width Information
  • Anagram Grammar handling and parser generation Ada library
  • Get_password Read a string without echo, in password-like style
  • Sparknacl Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library
  • Lea LEA is a Lightweight Editor for Ada
  • Lined Ada Implementation of the Line Editor from Software Tools
  • Eeprom_i2c EEPROM I2C drivers library for embedded platforms
  • Gnatcoll GNAT Components Collection - Core packages
  • Are Advanced Resource Embedder
  • Emojis A library to replace names between colons with emojis
  • Umwi Unicode Monospace Width Information
  • Umwi Unicode Monospace Width Information
  • Simh_tapes Library to handle SimH Standard magnetic tape image files
  • 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
  • Pragmarc The PragmAda Reusable Components
  • 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
  • Checksum Algorithms for error-checking
  • Checksum Algorithms for error-checking
  • 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 #ffplay #file #file-manager #file-size #files #filesystem #finance #firebird #fk723m1 #flac #flags #flash #floating-point #florist #fma #font #fonts #force-feedback #format #formatter #formatting #formula-parser #fractal #framebuffer #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
  • Emdee Performance assistant for Musical Directors
  • Magicada Magic Number Recognition Library Ada binding
  • Azip AZip - A portable Zip Archive Manager
  • Rsfile Randomly pick a file with probability proportional to its size
  • Controlled_io Files that are open while they exist and closed when they don't
  • Dir_iterators Ways of moving around directory trees
  • Littlefs Ada/SPARK binding for the LittleFS flash embedded filesystem
  • Cashe A fixed-point decimal money library written in Ada.
  • Emdee Performance assistant for Musical Directors
  • 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
  • Gnatformat Opinionated code formatter for the Ada language
  • Libadalang_tools Ada semantic analysis library extension and tools
  • Libgnatformat opinionated code format library for the Ada language
  • Si_units Pretty print physical values in properly scaled metric (SI) units.
  • Mathpaqs A collection of mathematical, 100% portable, packages
  • Mathpaqs A collection of mathematical, 100% portable, packages
  • St7789 SPI based driver for the ST7789 TFT display
  • Awa Ada Web Application
  • Awa_unit Ada Web Application (Testing framework)
  • Serverfaces_unit Web Server Faces JSR 252, JSR 314 and JSR 344 (Testing framework)
  • Iterators Functional iterators a la Rust
  • Optional Optional values a la java.lang.Optional

G

#game #gamedev #gamepad #games #gamma-function #gauge #generalized #generator #geo #geste #getopt #gfm #gherkin #gif #gimli #gl #glade #glfw #glib #gltf #gmp #gnatcoll #gnatcoll-db #gnatmetric #gnatpp #gnatstub #gnattest #gnoga #gpgpu #gpio #gpr #gpu #grammar #graph #grapheme #graphics #graphml #grove #gtk #gui #guid
  • 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
  • Mine_detector The Gnoga/Ada-GUI version of Mine Detector
  • Orka OpenGL 4.6 rendering kernel written in Ada 2012
  • Play_2048 2048 game: merge tiles with the same number until you add up to 2048
  • Pygamer_bsp Board Support Package for the AdaFruit PyGamer
  • Pygamer_simulator SDL simulator of the AdaFruit PyGamer console
  • Shoot_n_loot Platform game for the AdaFruit PyGamer console
  • Suika_programing Suika game clone with programing languages
  • Tiled_code_gen Generate GESTE data from Tiled maps and tilesets
  • Virtapu A virtual Audio Processing Unit to simulate 8-bit era game sounds
  • Wordle Wordle for the terminal
  • Wordlelib Library to track progress in a game of Wordle
  • Asfml Ada binding to SFML, the Simple and Fast Multimedia Library
  • Sdlada Ada 2012 SDL 2.x bindings.
  • Specfun Native Ada library of special functions (e.g., beta, gamma)
  • Aicwl Ada Industrial Control Widgets Library
  • Wisitoken Generalized error correcting LALR and packrat parser generator
  • Ada_pretty Ada Pretty Printer Library
  • Aflex An Ada Lexical Analyzer Generator
  • Anagram Grammar handling and parser generation Ada library
  • Are Advanced Resource Embedder
  • Automate Ada finite-state machine generator
  • Ayacc An Ada LARL(1) parser generator
  • Dynamo Dynamo Ada Generator
  • Libadalang_tools Ada semantic analysis library extension and tools
  • Protobuf Google Protocol Buffers implementation in Ada
  • Task_coroutines Coroutines and generators using only standard tasking features
  • Wisitoken Generalized error correcting LALR and packrat parser generator
  • Yass Static website generator
  • Geo_coords Geo coordinates calculation for determining Location, Distance, Bearing
  • Getopt POSIX getopt(3) for Ada
  • Bbt Black box test runner
  • Easy_graphics Very Simple Graphics Package
  • Gid Generic Image Decoder - decode a broad variety of image formats
  • Image_io Output in BMP,PPM,QOI;input in BMP,GIF,JPG,PNG,PNM,QOI,TGA
  • Globe_3d GLOBE_3D: GL Object Based Engine for 3D
  • Garlic GNAT Library for Ada Distributed Environment (garlic)
  • Gnatdist_garlic The configuration tool gnatdist for GARLIC
  • 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
  • Aflex An Ada Lexical Analyzer Generator
  • Anagram Grammar handling and parser generation Ada library
  • Ayacc An Ada LARL(1) parser generator
  • Umwi Unicode Monospace Width Information
  • Aicwl Ada Industrial Control Widgets Library
  • Asfml Ada binding to SFML, the Simple and Fast Multimedia Library
  • Easy_graphics Very Simple Graphics Package
  • Gfx_core Modular Portable Graphics Library, Core Components
  • Gfx_rasteriser Modular Portable Graphics Library, Primitive's Rasteriser
  • Globe_3d GLOBE_3D: GL Object Based Engine for 3D
  • Labs_solar_system A set of SDL-based exercises to learn Ada
  • Openglada Thick Ada binding for OpenGL
  • Openglada_images Image loading library for OpenGLAda
  • Orka OpenGL 4.6 rendering kernel written in Ada 2012
  • Orka_awt Ada Window Toolkit
  • Orka_opengl OpenGL 4.6 backend for the Orka rendering engine
  • Texcad TeXCAD is a program for drawing or retouching {picture}s in LaTeX
  • 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+
  • Ulid Universally Unique Lexicographically Sortable Identifier

H

#hac #hal #handheld #hardware #hash #haversine #hello #hex #hid #highlight #hmac #hp-41cx #html #html5 #http #https #humidity #hypervisor
  • Hac HAC Ada Compiler: a small, quick Ada compiler covering a subset of Ada
  • Lea LEA is a Lightweight Editor for Ada
  • Hal Hardware Abstraction Layer (HAL)
  • Linux_hal HAL drivers for Linux userspace
  • Tiny_text Low resolution bitmap font with a small memory footprint
  • 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
  • Hex_format Hexadecimal string formatting for modular types
  • Hmac HMAC implemented in Ada
  • Ada_gui An Ada-oriented GUI
  • Bbs_webif Simple web server to provide an interface to embedded instruments
  • List_image helper to dump iterable containers with customizable style
  • Wikiada Wiki Engine with parser and renderer for several wiki syntaxes
  • Matreshka_xml Library to manipulate with XML streams and documents
  • Aws Ada Web Server
  • Gnoga gnoga - The GNU Omnificent GUI for Ada
  • Bme280 Driver for BME280 Humidity sensor

I

#i18n #i2c #i8080 #icmp #iconv #identifier #image #indent #ini #ini-file #inotify #input #integration #io #ip #ipv4 #irc #iso-1366 #iso-4217 #iso3309 #iterator #iterators #itsybitsy
  • Enet Ada Embedded Network Stack
  • Ulid Universally Unique Lexicographically Sortable Identifier
  • Easy_graphics Very Simple Graphics Package
  • Gid Generic Image Decoder - decode a broad variety of image formats
  • Image_io Output in BMP,PPM,QOI;input in BMP,GIF,JPG,PNG,PNM,QOI,TGA
  • Qoi Ada/SPARK implementation of the Quite Ok Image format
  • Ini_files A standalone, portable Ada package for configuration files
  • Ini_files A standalone, portable Ada package for configuration files
  • Inotify Monitor filesystem events using Linux' inotify API
  • Evdev Library for input devices and force-feedback using Linux' evdev API
  • Orka_awt Ada Window Toolkit
  • Controlled_io Files that are open while they exist and closed when they don't
  • Image_io Output in BMP,PPM,QOI;input in BMP,GIF,JPG,PNG,PNM,QOI,TGA
  • Enet Ada Embedded Network Stack
  • Enet Ada Embedded Network Stack
  • Iso ISO Standard references for Ada such as 1366 & 4217 (Country & Currency)
  • Iso ISO Standard references for Ada such as 1366 & 4217 (Country & Currency)
  • Crc_32 Cyclic Redundancy Check to verify data integrity (ISO 3309)
  • List_image helper to dump iterable containers with customizable style

J

#jabber #java #jinja #jinja2 #jobs #jpeg #jpg #jsf #json #junit #jupyter #jws #jwt
  • Axmpp XMPP client library in Ada
  • J2ada Almost Java to Ada translator
  • Jintp Template parser in Ada based on Jinja2
  • Jintp Template parser in Ada based on Jinja2
  • Awa Ada Web Application
  • Awa_unit Ada Web Application (Testing framework)
  • Gid Generic Image Decoder - decode a broad variety of image formats
  • Gid Generic Image Decoder - decode a broad variety of image formats
  • Image_io Output in BMP,PPM,QOI;input in BMP,GIF,JPG,PNG,PNM,QOI,TGA
  • Serverfaces_unit Web Server Faces JSR 252, JSR 314 and JSR 344 (Testing framework)
  • Gnatcoll GNAT Components Collection - Core packages
  • Json An Ada 2012 library for parsing JSON
  • Jwt JSON Web Token (JWT) implementation in Ada
  • Matreshka_league League - universal string library. Part of Matreshka framework
  • Serverfaces Web Server Faces JSR 252, JSR 314 and JSR 344
  • Servletada Web Servlet Library following JSR 154, JSR 315 (Core)
  • Servletada_aws Web Servlet Library following JSR 154, JSR 315 (AWS)
  • Servletada_ews Web Servlet Library following JSR 154, JSR 315 (EWS)
  • Servletada_unit Web Servlet Library following JSR 154, JSR 315 (Testing framework)
  • Utilada Utility Library with streams, processes, logs, serialization, encoders
  • Vss Advanced string and text manipulation with Unicode support
  • Yeison A JSON-like data structure using Ada 2022 features
  • 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 #kem #kernel #key-value #keyboard #keypad #kmac #ktx #kutta
  • Orka_numerics Tensors (multidimensional arrays) and integrators
  • Adare_hqc256 Post Quantum Computer Resistant Cryptograph KEM, HQC 256 Ada bind.
  • 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 #latex #latin-1 #latitude #launch #lea #learn #leastsquares #led #legacy #lexer #lib #libadalang #libgomp #library #libsimpleio #license #light #linalg #line #line-editing #linear-algebra #linearalgebra #linenoise #linux #lisp #list #localisation #localization #lockfree #log #logging #longitude #lossless #lossy #lsp #lua #lvgl #lzma #lzw
  • Felix X/Open Native Language System (NLS) for Ada
  • Texcad TeXCAD is a program for drawing or retouching {picture}s in LaTeX
  • Utf8test Test the terminal behavior when outputting Latin-1 and UTF-8 strings
  • Geo_coords Geo coordinates calculation for determining Location, Distance, Bearing
  • Spawn A simple library to spawn processes and communicate with them.
  • Spawn_glib A simple library to spawn processes and communicate with them.
  • Lea LEA is a Lightweight Editor for Ada
  • Adabots Learn Ada by programming Minecraft robots
  • Dg_loada dg_loada loads (restores) legacy DG AOS/VS DUMP_II files
  • Simh_tapes Library to handle SimH Standard magnetic tape image files
  • Opentoken facility for performing token analysis and parsing within Ada
  • Libgnatformat opinionated code format library for the Ada language
  • Adacl Ada Class Library (String, Trace, AUnit, Smart Pointer. GetOpt)
  • Adacl_eastrings Ada Class Library - EAStrings
  • Libhello Basic library demonstration project
  • Spdx SPDX License Expression Validator
  • Lined Ada Implementation of the Line Editor from Software Tools
  • Mathpaqs A collection of mathematical, 100% portable, packages
  • Bbs_lisp Embedable tiny lisp interpreter
  • Lispcli Simple program for exploring tiny lisp
  • List_image helper to dump iterable containers with customizable style
  • Felix X/Open Native Language System (NLS) for Ada
  • Felix X/Open Native Language System (NLS) for Ada
  • Bbqueue DMA friendly lock-free BipBuffer
  • Elogs Embedded logging, proven absent of runtime errors
  • Journada Simple and nice configurable logging
  • Adacl Ada Class Library (String, Trace, AUnit, Smart Pointer. GetOpt)
  • Elogs Embedded logging, proven absent of runtime errors
  • Gnatcoll_syslog GNAT Components Collection - syslog binding
  • Journada Simple and nice configurable logging
  • Loga Simple library for simple logging. Like npm package "debug", but for Ada
  • Simple_logging Simple logging to console
  • Utilada Utility Library with streams, processes, logs, serialization, encoders
  • Geo_coords Geo coordinates calculation for determining Location, Distance, Bearing
  • Gid Generic Image Decoder - decode a broad variety of image formats
  • Gid Generic Image Decoder - decode a broad variety of image formats
  • Gnatcoll_lzma GNAT Components Collection - lzma binding
  • Lzmada Ada LZMA Library Binding
  • Utilada_lzma Utility Library streams with LZMA support
  • Zipada Manage Zip Archives and raw BZip2 and LZMA streams
  • Zipada Manage Zip Archives and raw BZip2 and LZMA streams

M

#m68000 #macro #macropad #magic #magnetic #magnetometer #magtape #manipulation #mariadb #markdown #matching #math #mathematics #matrices #matrix #mcp2221 #mdio #media-type #mediawiki #messaging #meta #metric #microbit #microchip #midi #miim #mime #minecraft #minedetector #minisam #miscellanea #mobile #model #mof #money #monospace #mos-6502 #motor #mp3 #mpfr #msi #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
  • Magicada Magic Number Recognition Library Ada binding
  • Simh_tapes Library to handle SimH Standard magnetic tape image files
  • Hmc5883 Driver for HMC5883L magnetic sensor
  • Qmc5883 Driver for QMC5883L magnetic sensor
  • Simh_tapes Library to handle SimH Standard magnetic tape image files
  • Rejuvenation Analysis and manipulation of Ada code based on concrete patterns
  • Rewriters Easy, yet advanced manipulation of Ada code
  • Bbt Black box test runner
  • List_image helper to dump iterable containers with customizable style
  • Markdown Markdown parser (draft)
  • Wikiada Wiki Engine with parser and renderer for several wiki syntaxes
  • Yass Static website generator
  • Pragmarc The PragmAda Reusable Components
  • 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
  • Ethernet Root crate for ethernet namespace and MDIO/SMI/MIIM interface
  • Uri_mime URI & MIME Type Parsing and Manupulation
  • Wikiada Wiki Engine with parser and renderer for several wiki syntaxes
  • 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
  • Emdee Performance assistant for Musical Directors
  • Midi Library to encode and decode MIDI messages
  • Rtmidi Ada "middleweight" binding for the rtMIDI library
  • Usb_embedded An Ada USB stack for embedded devices
  • Ethernet Root crate for ethernet namespace and MDIO/SMI/MIIM interface
  • Uri_mime URI & MIME Type Parsing and Manupulation
  • Adabots Learn Ada by programming Minecraft robots
  • Aaa Alex's Ada Assortment (of miscellaneous utilities)
  • Wl_lib Handy library packages
  • Keypadder Programmable virtual keypad for your Linux desktop
  • Cheddar Cheddar is a real time scheduling analysis tool.
  • Ocarina_lib Ocarina is a stand-alone AADL model processor, written in Ada.
  • Matreshka_amf Implementation of OMG's Meta Object Facility (MOF)
  • Cashe A fixed-point decimal money library written in Ada.
  • Umwi Unicode Monospace Width Information
  • Libsimpleio Linux Simple I/O Library
  • Mcp2221 MCP2221 USB Raw HID I/O Expander Library for GNAT Ada
  • Remoteio Remote I/O Protocol Client Library for GNAT Ada
  • Emdee Performance assistant for Musical Directors
  • Admpfr Ada bindings for MPFR
  • Bar_code_drawing Creation of bar codes and qr codes
  • Bar_codes Generate various types of bar codes (1D or 2D) on various media
  • Emdee Performance assistant for Musical Directors
  • Musicplayer A Music Player
  • Rtmidi Ada "middleweight" binding for the rtMIDI library

N

#nacl #native #ncurses #ndarray #net #network #nls #no-std #noaccess #nordic #nosql #nostd #notebook #nrf51 #nrf52 #ntp #numbers #numerics #numpy
  • Sparknacl Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library
  • Hac HAC Ada Compiler: a small, quick Ada compiler covering a subset of Ada
  • Ncursesada Ada binding to the ncurses text user interface library
  • Epoll Linux epoll binding
  • Enet Ada Embedded Network Stack
  • Enet_stm32 ENet driver for STM32
  • Ethernet Root crate for ethernet namespace and MDIO/SMI/MIIM interface
  • Garlic GNAT Library for Ada Distributed Environment (garlic)
  • Gnatdist_garlic The configuration tool gnatdist for GARLIC
  • Zeromq_ada An Ada-binding the ØMQ library
  • Felix X/Open Native Language System (NLS) for Ada
  • Intl NLS thin Ada binding
  • Lvgl_ada Bindings for the LVGL embedded GUI framework
  • Binary_trees Ordered binary trees implemented without access types
  • Nrf5x_hal Drivers and HAL for the Nordic nRF5X micro-controller family
  • Adl_middleware Middleware layer of the Ada Drivers Library project
  • Atomic Standalone Ada/SPARK bindings to GCC atomic built-ins
  • Basalt Collection of formally verified building blocks
  • Bbqueue DMA friendly lock-free BipBuffer
  • Chests Chests are bounded containers
  • Cobs Consistent Overhead Byte Stuffing (COBS) encoder/decoder
  • Cortex_m Drivers for Cortex-M micro-controllers (NVIC, SysTick, etc.)
  • Eeprom_i2c EEPROM I2C drivers library for embedded platforms
  • Embedded_components Platform agnostic drivers to interface external components
  • Esp_idf Ada binding for the ESP-IDF SDK
  • Geste GEneric Sprite and Tile Engine
  • Hal Hardware Abstraction Layer (HAL)
  • Itsybitsy_bsp Board support package for Arduino ItsyBitsy
  • Itsybitsy_rp2040_bsp Board support package for Arduino ItsyBitsy RP2040
  • Littlefs Ada/SPARK binding for the LittleFS flash embedded filesystem
  • Microbit_bsp Board Support Package for the BBC micro:bit v1
  • Microbit_examples Examples and tutorials for Ada on the BBC micro:bit
  • Midi Library to encode and decode MIDI messages
  • Minisamd51_bsp Board Support Package for the MiniSAM D51
  • Minisamd51_example Example project for the MiniSAM D51
  • Nrf5x_hal Drivers and HAL for the Nordic nRF5X micro-controller family
  • Pico_bsp Board support package for Raspberry Pi Pico
  • Pico_examples Examples for Ada on the Raspberry Pi Pico
  • Pygamer_bsp Board Support Package for the AdaFruit PyGamer
  • Rp2040_hal Drivers and HAL for the RP2040 micro-controller family
  • Samd51_hal Drivers and HAL for the SAMD51 micro-controller family
  • St7789 SPI based driver for the ST7789 TFT display
  • Startup_gen Generates startup files (crt0 and linker script)
  • Stm32f0x2_hal Drivers and HAL for stm32f0x2 mcu family
  • Tiny_rp2040_bsp Board support package for Pimoroni Tiny RP2040
  • Tresses Synth library inspired by Mutable Instruments Braids
  • Usb_embedded An Ada USB stack for embedded devices
  • Virtapu A virtual Audio Processing Unit to simulate 8-bit era game sounds
  • Microbit_bsp Board Support Package for the BBC micro:bit v1
  • Microbit_examples Examples and tutorials for Ada on the BBC micro:bit
  • Nrf5x_hal Drivers and HAL for the Nordic nRF5X micro-controller family
  • Nrf5x_hal Drivers and HAL for the Nordic nRF5X micro-controller family
  • Enet Ada Embedded Network Stack
  • Mathpaqs A collection of mathematical, 100% portable, packages
  • Specfun Native Ada library of special functions (e.g., beta, gamma)

O

#oauth2 #observer #occurrences #ocl #ogg #openai #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
  • Sciada Collection of Scientific Operations
  • Emdee Performance assistant for Musical Directors
  • Openai OpenAI client library
  • Openai OpenAI client library
  • Openapi OpenAPI library to build REST client applications
  • Openapi_server OpenAPI library to build REST server applications
  • Asfml Ada binding to SFML, the Simple and Fast Multimedia Library
  • Globe_3d GLOBE_3D: GL Object Based Engine for 3D
  • Openglada Thick Ada binding for OpenGL
  • Openglada_glfw GLFW binding for use with OpenGLAda
  • Openglada_images Image loading library for OpenGLAda
  • Openglada_text Text rendering library for OpenGLAda
  • Orka OpenGL 4.6 rendering kernel written in Ada 2012
  • Orka_awt Ada Window Toolkit
  • Orka_egl Ada 2012 bindings for EGL
  • Orka_opengl OpenGL 4.6 backend for the Orka rendering engine
  • Orka_tools Tools for the Orka rendering kernel
  • 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

#packaging #packed #pam #parallel #parallelhash #parallelization #pareto #parser #parsing #password #passwordmaker #pbkdf2 #pbm #pdf #performance #permissions #pgm #phy #physics #pi #pico #picture #pipe #player #playsmf #plot #png #pnm #pocketbeagle #poisson #polynomial #pool #portable #portal #posix #postgres #postgresql #power #powerline #ppm #pqc #precision #pressure #pretty #printing #probability #process #processes #programmable #progress #project #project-euler #projects #protocol #protocols #pure #puzzle #pwm #px41cx #pygamer #python #python2 #python3
  • Alr2appimage Tool to create an AppImage executable from an Alire crate
  • Bit_sets A packed boolean array that saves space and is performant
  • Workers Simple task pool for parallelization
  • Mathpaqs A collection of mathematical, 100% portable, packages
  • Aflex An Ada Lexical Analyzer Generator
  • Ayacc An Ada LARL(1) parser generator
  • Elada Expression Language Library (JSR245)
  • Emacs_gpr_mode parser for Emacs gpr mode
  • Emacs_wisitoken_grammar_mode parser for Emacs wisitoken-grammar mode
  • Hac HAC Ada Compiler: a small, quick Ada compiler covering a subset of Ada
  • Opentoken facility for performing token analysis and parsing within Ada
  • Wikiada Wiki Engine with parser and renderer for several wiki syntaxes
  • Wisitoken Generalized error correcting LALR and packrat parser generator
  • Splitter A function to emulate "split" as implemented in Ruby
  • Get_password Read a string without echo, in password-like style
  • Bar_code_drawing Creation of bar codes and qr codes
  • Bar_codes Generate various types of bar codes (1D or 2D) on various media
  • Gid Generic Image Decoder - decode a broad variety of image formats
  • Apdf Portable package for producing dynamically PDF documents
  • Bar_codes Generate various types of bar codes (1D or 2D) on various media
  • Bit_sets A packed boolean array that saves space and is performant
  • Emdee Performance assistant for Musical Directors
  • Security Security Library for HTTP client and server with OAuth2 support
  • Gid Generic Image Decoder - decode a broad variety of image formats
  • Ethernet Root crate for ethernet namespace and MDIO/SMI/MIIM interface
  • Texcad TeXCAD is a program for drawing or retouching {picture}s in LaTeX
  • Spawn A simple library to spawn processes and communicate with them.
  • Spawn_glib A simple library to spawn processes and communicate with them.
  • Emdee Performance assistant for Musical Directors
  • Qplt An Ada-GUI program to quickly produce a plot of a data set
  • Bar_codes Generate various types of bar codes (1D or 2D) on various media
  • Gid Generic Image Decoder - decode a broad variety of image formats
  • Image_io Output in BMP,PPM,QOI;input in BMP,GIF,JPG,PNG,PNM,QOI,TGA
  • Gid Generic Image Decoder - decode a broad variety of image formats
  • Image_io Output in BMP,PPM,QOI;input in BMP,GIF,JPG,PNG,PNM,QOI,TGA
  • Mathpaqs A collection of mathematical, 100% portable, packages
  • Mathpaqs A collection of mathematical, 100% portable, packages
  • Workers Simple task pool for parallelization
  • Sdlada Ada 2012 SDL 2.x bindings.
  • Globe_3d GLOBE_3D: GL Object Based Engine for 3D
  • Florist_blady POSIX Ada Bindings
  • Spoon Use posix_spawn() to spawn processes without forking
  • Powerjoular Monitoring the power consumption of multiple platforms and processes
  • Easy_graphics Very Simple Graphics Package
  • Gid Generic Image Decoder - decode a broad variety of image formats
  • Image_io Output in BMP,PPM,QOI;input in BMP,GIF,JPG,PNG,PNM,QOI,TGA
  • Adare_dilithium5 Post Quantum Computer Resistant Cryptograph Sign, Dilithium5 Ada bind.
  • Adare_hqc256 Post Quantum Computer Resistant Cryptograph KEM, HQC 256 Ada bind.
  • Gnatcoll_gmp GNAT Components Collection - GNU Multiple Precision Arithmetic binding
  • Bme280 Driver for BME280 Humidity sensor
  • 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
  • Hex_format Hexadecimal string formatting for modular types
  • Play_2048 2048 game: merge tiles with the same number until you add up to 2048
  • Libsimpleio Linux Simple I/O Library
  • Mcp2221 MCP2221 USB Raw HID I/O Expander Library for GNAT Ada
  • Remoteio Remote I/O Protocol Client Library for GNAT Ada

Q

#qoi #qr #qr-code #qrcode #quaternion #queue
  • Gid Generic Image Decoder - decode a broad variety of image formats
  • Image_io Output in BMP,PPM,QOI;input in BMP,GIF,JPG,PNG,PNM,QOI,TGA
  • Qoi Ada/SPARK implementation of the Quite Ok Image format
  • Bar_code_drawing Creation of bar codes and qr codes
  • Bar_codes Generate various types of bar codes (1D or 2D) on various media
  • Bar_codes Generate various types of bar codes (1D or 2D) on various media
  • Bar_codes Generate various types of bar codes (1D or 2D) on various media
  • Orka_transforms Library to transform vectors, matrices, and quaternions using SIMD
  • Basalt Collection of formally verified building blocks
  • Brackelib Library which contains various utility packages.

R

#rad #random #randomness #ranger #raspberry #raspberrypi #raspberrypi1 #raspberrypi2 #raspberrypi3 #raspberrypi4 #raspberrypi5 #rational #raylib #rbg #reactive #reactivex #readline #realtime #recovering-data #redundancy #refactoring #refcount #regex #regexp #remoteio #renderer #rendering #replace #reports #resource #rest #retrocomputing #riff #riscv #rk4 #rng #robotics #robots #ros #roundbased #rp2040 #rpc #rtmidi #rtos #rts #runge #runge-kutta #runtime #rx
  • Gwindows GWindows - Ada Framework for Windows Development
  • Image_random True random numbers from a digital camera
  • Mathpaqs A collection of mathematical, 100% portable, packages
  • Orka_numerics Tensors (multidimensional arrays) and integrators
  • Orka_tensors_cpu Tensors using SIMD instructions on the CPU
  • Orka_tensors_gpu Tensors using compute shaders on the GPU
  • Rsfile Randomly pick a file with probability proportional to its size
  • System_random Minimal library to retrieve random data from system sources
  • Xoshiro xoshiro128++ and xoshiro256++ pseudo-random number generators
  • Pragmarc The PragmAda Reusable Components
  • Libsimpleio Linux Simple I/O Library
  • Pico_bsp Board support package for Raspberry Pi Pico
  • Rp2040_hal Drivers and HAL for the RP2040 micro-controller family
  • Mathpaqs A collection of mathematical, 100% portable, packages
  • Gid Generic Image Decoder - decode a broad variety of image formats
  • Rxada Experimental implementation of ReactiveX in Ada
  • Rxada Experimental implementation of ReactiveX in Ada
  • Cheddar Cheddar is a real time scheduling analysis tool.
  • Dg_loada dg_loada loads (restores) legacy DG AOS/VS DUMP_II files
  • Checksum Algorithms for error-checking
  • Crc_32 Cyclic Redundancy Check to verify data integrity (ISO 3309)
  • Lal_refactor Source code refactoring utilities for the Ada language
  • Liblal_refactor Source code refactoring library for the Ada language
  • Gnatcoll GNAT Components Collection - Core packages
  • 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
  • Remoteio Remote I/O Protocol Client Library for GNAT Ada
  • Wikiada Wiki Engine with parser and renderer for several wiki syntaxes
  • Freetypeada Thick binding to the FreeType library
  • Geste GEneric Sprite and Tile Engine
  • Globe_3d GLOBE_3D: GL Object Based Engine for 3D
  • Openglada Thick Ada binding for OpenGL
  • Openglada_images Image loading library for OpenGLAda
  • Openglada_text Text rendering library for OpenGLAda
  • Orka OpenGL 4.6 rendering kernel written in Ada 2012
  • Orka_opengl OpenGL 4.6 backend for the Orka rendering engine
  • Vanilla Simple replace in character stream
  • Are Advanced Resource Embedder
  • Minirest Minimalist Ada REST client library
  • Openai OpenAI client library
  • Openapi OpenAPI library to build REST client applications
  • Openapi_server OpenAPI library to build REST server applications
  • Servletada Web Servlet Library following JSR 154, JSR 315 (Core)
  • Servletada_unit Web Servlet Library following JSR 154, JSR 315 (Testing framework)
  • Utilada_curl Utility Library REST support on top of CURL
  • 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
  • Mathpaqs A collection of mathematical, 100% portable, packages
  • Mathpaqs A collection of mathematical, 100% portable, packages
  • Rxada Experimental implementation of ReactiveX in Ada

S

#safety #sam3x8e #samd51 #sat #sax #sci #scientific #scope #script #scripting #sdl #search #secret #security #selenium #semantic #semver #sensor #serial #serialization #server #servlet #servo #set #settings #sfml #sha1 #sha2 #sha3 #shaders #shake #shrink #signature #simd #similarities #simple #simulation #simulator #smart-pointer #smbus #smi #soap #solver #sorting #sound #soundtrack #space-partition #spark #spawn #spdx #special-fun #spi #split #spreadsheet #sprite #sql #sqlite #ss512bits #sse #ssl #stack #static-analysis #statistics #steganography #stepper #stm32 #stm32f0 #stm32f4 #stm32f401 #stm32h7 #stm32h723 #stopwatch #storage #strategy #streams #string #strings #substitute #suika #svd #svg #syntax #synth #synthesis #syslog #system #systick
  • Pragmarc The PragmAda Reusable Components
  • Adasat Implementation of a DPLL-based SAT solver in Ada.
  • Matreshka_league League - universal string library. Part of Matreshka framework
  • Sciada Collection of Scientific Operations
  • Sciada Collection of Scientific Operations
  • Controlled_io Files that are open while they exist and closed when they don't
  • 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
  • Hac HAC Ada Compiler: a small, quick Ada compiler covering a subset of Ada
  • Semantic_versioning Semantic Versioning in Ada
  • Bme280 Driver for BME280 Humidity sensor
  • Hmc5883 Driver for HMC5883L magnetic sensor
  • Libsimpleio Linux Simple I/O Library
  • Mcp2221 MCP2221 USB Raw HID I/O Expander Library for GNAT Ada
  • Qmc5883 Driver for QMC5883L magnetic sensor
  • Remoteio Remote I/O Protocol Client Library for GNAT Ada
  • Libsimpleio Linux Simple I/O Library
  • Mcp2221 MCP2221 USB Raw HID I/O Expander Library for GNAT Ada
  • Remoteio Remote I/O Protocol Client Library for GNAT Ada
  • Utilada_xml Utility Library serialization with XML/Ada
  • Aws Ada Web Server
  • Dummyserver DummyServer is a terminal program that serves dummy content
  • Ews Embedded Web Server
  • Gnoga gnoga - The GNU Omnificent GUI for Ada
  • Libsimpleio Linux Simple I/O Library
  • Mcp2221 MCP2221 USB Raw HID I/O Expander Library for GNAT Ada
  • Remoteio Remote I/O Protocol Client Library for GNAT Ada
  • Bit_sets A packed boolean array that saves space and is performant
  • Dotenv Loads environment variables from .env for Ada projects.
  • Asfml Ada binding to SFML, the Simple and Fast Multimedia Library
  • Bingada Bingo application in GTKAda with sound in ASFML
  • Honki_tonks_zivilisationen The Code of my 4X turn-based strategy game.
  • Play_2048 2048 game: merge tiles with the same number until you add up to 2048
  • Sha1 Secure Hash Algorithm 1 implemented in Ada
  • Sha2 Secure Hash Algorithm 2 implemented in Ada
  • Zipada Manage Zip Archives and raw BZip2 and LZMA streams
  • Adare_dilithium5 Post Quantum Computer Resistant Cryptograph Sign, Dilithium5 Ada bind.
  • Orka_simd Bindings for x86 SIMD extensions like SSE, AVX2, FMA, F16C
  • Orka_tensors_cpu Tensors using SIMD instructions on the CPU
  • Sciada Collection of Scientific Operations
  • Vanilla Simple replace in character stream
  • Blinkenlights Project to blink LEDs in interesting patterns
  • Simh_tapes Library to handle SimH Standard magnetic tape image files
  • Adacl Ada Class Library (String, Trace, AUnit, Smart Pointer. GetOpt)
  • Ethernet Root crate for ethernet namespace and MDIO/SMI/MIIM interface
  • Adasat Implementation of a DPLL-based SAT solver in Ada.
  • Partord Small library for sorting with partial orders
  • Pragmarc The PragmAda Reusable Components
  • Bingada Bingo application in GTKAda with sound in ASFML
  • Canberra_ada Ada 2012 bindings for libcanberra
  • Emdee Performance assistant for Musical Directors
  • Globe_3d GLOBE_3D: GL Object Based Engine for 3D
  • Atomic Standalone Ada/SPARK bindings to GCC atomic built-ins
  • Basalt Collection of formally verified building blocks
  • Bbqueue DMA friendly lock-free BipBuffer
  • Blake2s SPARK83 implementation of the BLAKE2s hash function
  • Cobs Consistent Overhead Byte Stuffing (COBS) encoder/decoder
  • Elogs Embedded logging, proven absent of runtime errors
  • Endianness Convenience subprograms to convert between Big- and Little-endianness
  • 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
  • Linux_hal HAL drivers for Linux userspace
  • Mcp2221 MCP2221 USB Raw HID I/O Expander Library for GNAT Ada
  • Remoteio Remote I/O Protocol Client Library for GNAT Ada
  • St7789 SPI based driver for the ST7789 TFT display
  • Splitter A function to emulate "split" as implemented in Ruby
  • Geste GEneric Sprite and Tile Engine
  • Adare_hqc256 Post Quantum Computer Resistant Cryptograph KEM, HQC 256 Ada bind.
  • Orka_simd Bindings for x86 SIMD extensions like SSE, AVX2, FMA, F16C
  • Aws Ada Web Server
  • Gnoga gnoga - The GNU Omnificent GUI for Ada
  • Tlsada Bindings for libtls
  • Basalt Collection of formally verified building blocks
  • Brackelib Library which contains various utility packages.
  • Gid Generic Image Decoder - decode a broad variety of image formats
  • Libsimpleio Linux Simple I/O Library
  • Mcp2221 MCP2221 USB Raw HID I/O Expander Library for GNAT Ada
  • Remoteio Remote I/O Protocol Client Library for GNAT Ada
  • Utilada Utility Library with streams, processes, logs, serialization, encoders
  • Utilada_lzma Utility Library streams with LZMA support
  • Adacl Ada Class Library (String, Trace, AUnit, Smart Pointer. GetOpt)
  • Basalt Collection of formally verified building blocks
  • Emojis A library to replace names between colons with emojis
  • Hex_format Hexadecimal string formatting for modular types
  • Uxstrings Unicode Extended Strings utilities
  • Vanilla Simple replace in character stream
  • Bar_code_drawing Creation of bar codes and qr codes
  • Bar_codes Generate various types of bar codes (1D or 2D) on various media
  • Anagram Grammar handling and parser generation Ada library
  • Virtapu A virtual Audio Processing Unit to simulate 8-bit era game sounds
  • Tresses Synth library inspired by Mutable Instruments Braids
  • Endianness Convenience subprograms to convert between Big- and Little-endianness
  • System_random Minimal library to retrieve random data from system sources

T

#table #tablet #tape #targa #taskcom #tasking #tcl #tdd #teach #teaching #temperature #template #template-engine #template-repo #templates #tensor #terminal #terrain #test #testing #tex #texcad #text #textio #tga #theatre #theories #threefish1024 #threefish256 #threefish512 #tiled #time #timer #timestamp #tiny #tk #tls #token #tokenizer #toml #tool #tools #trace #training #transformation #translator #transparency #transparent #trees #tty #tuplehash #turtle #tutorial #tweetnacl #twi #types
  • Db_maker A generic for creating simple DBs (one table in an RDBMS)
  • Keypadder Programmable virtual keypad for your Linux desktop
  • Simh_tapes Library to handle SimH Standard magnetic tape image files
  • Gid Generic Image Decoder - decode a broad variety of image formats
  • Pragmarc The PragmAda Reusable Components
  • Workers Simple task pool for parallelization
  • Tash Binding to Tcl/Tk
  • Bbt Black box test runner
  • Adabots Learn Ada by programming Minecraft robots
  • Bme280 Driver for BME280 Humidity sensor
  • Mold Meta-variable Operations for Lean Development (cli)
  • Mold_lib Meta-variable Operations for Lean Development (lib)
  • Vss Advanced string and text manipulation with Unicode support
  • Mold Meta-variable Operations for Lean Development (cli)
  • Mold_lib Meta-variable Operations for Lean Development (lib)
  • Mold Meta-variable Operations for Lean Development (cli)
  • Mold_lib Meta-variable Operations for Lean Development (lib)
  • Jintp Template parser in Ada based on Jinja2
  • 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
  • Bbt Black box test runner
  • Dummyserver DummyServer is a terminal program that serves dummy content
  • Gnatcov Coverage Analysis Tool
  • Trendy_test Minimal Effort Ada Unit Testing Library
  • Texcad TeXCAD is a program for drawing or retouching {picture}s in LaTeX
  • Texcad TeXCAD is a program for drawing or retouching {picture}s in LaTeX
  • Cbsg Corporate Bullshit Generator library
  • Controlled_io Files that are open while they exist and closed when they don't
  • Emojis A library to replace names between colons with emojis
  • Hex_format Hexadecimal string formatting for modular types
  • Septum An interactive context-based text search tool for large codebases.
  • Simple_regex Port of Rob Pike's simple regex from the Practice of Programming.
  • Tiny_text Low resolution bitmap font with a small memory footprint
  • Universal_text_file Proposed universal format for Unicode text files
  • Vss Advanced string and text manipulation with Unicode support
  • Get_password Read a string without echo, in password-like style
  • Gid Generic Image Decoder - decode a broad variety of image formats
  • Image_io Output in BMP,PPM,QOI;input in BMP,GIF,JPG,PNG,PNM,QOI,TGA
  • Emdee Performance assistant for Musical Directors
  • Adasat Implementation of a DPLL-based SAT solver in Ada.
  • Ulid Universally Unique Lexicographically Sortable Identifier
  • Tash Binding to Tcl/Tk
  • Jwt JSON Web Token (JWT) implementation in Ada
  • Splitter A function to emulate "split" as implemented in Ruby
  • Splitter A function to emulate "split" as implemented in Ruby
  • Toml_slicer Edit TOML files directly without parsing
  • Yeison A JSON-like data structure using Ada 2022 features
  • Getada The unofficial mac and linux installer for Alire.
  • Gnatformat Opinionated code formatter for the Ada language
  • Lal_refactor Source code refactoring utilities for the Ada language
  • Rsfile Randomly pick a file with probability proportional to its size
  • Adacl Ada Class Library (String, Trace, AUnit, Smart Pointer. GetOpt)
  • Rejuvenation Analysis and manipulation of Ada code based on concrete patterns
  • Rewriters Easy, yet advanced manipulation of Ada code
  • J2ada Almost Java to Ada translator
  • Gid Generic Image Decoder - decode a broad variety of image formats
  • Gid Generic Image Decoder - decode a broad variety of image formats
  • Clic Command Line Interface Components
  • Pragmarc The PragmAda Reusable Components
  • Ppag First steps with Gnoga
  • Wikibook WikiBook Ada Programing
  • Sparknacl Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library

U

#udp #ui #ulid #ultrasonic #uml #unbound #unicode #unit #unit-test #units #upca #uri #url #usb #user-input #users #utf-8 #utilities #utility #utils #uuid
  • Enet Ada Embedded Network Stack
  • Aicwl Ada Industrial Control Widgets Library
  • Cmd_ada Command based text UI, inspired by Python cmd module
  • Ulid Universally Unique Lexicographically Sortable Identifier
  • Emojis A library to replace names between colons with emojis
  • Matreshka_league League - universal string library. Part of Matreshka framework
  • Umwi Unicode Monospace Width Information
  • Universal_text_file Proposed universal format for Unicode text files
  • Utf8test Test the terminal behavior when outputting Latin-1 and UTF-8 strings
  • Uxstrings Unicode Extended Strings utilities
  • Vss Advanced string and text manipulation with Unicode support
  • Aunit Ada unit test framework
  • Trendy_test Minimal Effort Ada Unit Testing Library
  • Aunit Ada unit test framework
  • Trendy_test Minimal Effort Ada Unit Testing Library
  • Bbs Root package for other crates and contains some physical units
  • Bar_code_drawing Creation of bar codes and qr codes
  • Bar_codes Generate various types of bar codes (1D or 2D) on various media
  • Uri_ada Processing of URI strings
  • Uri_mime URI & MIME Type Parsing and Manupulation
  • Uri_ada Processing of URI strings
  • Uri_mime URI & MIME Type Parsing and Manupulation
  • 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)
  • Alr2appimage Tool to create an AppImage executable from an Alire crate
  • Brackelib Library which contains various utility packages.
  • Getada The unofficial mac and linux installer for Alire.
  • Simple_logging Simple logging to console
  • Uri_ada Processing of URI strings
  • Wl_lib Handy library packages
  • Basalt Collection of formally verified building blocks
  • Resources Utility library to handle project resources at run-time
  • Ulid Universally Unique Lexicographically Sortable Identifier

V

#vanilla #variables #vector #vector-graphics #verification #versioning #vfs #virtual-machine #vscode #vt100
  • Vanilla Simple replace in character stream
  • Dotenv Loads environment variables from .env for Ada projects.
  • Texcad TeXCAD is a program for drawing or retouching {picture}s in LaTeX
  • Crc_32 Cyclic Redundancy Check to verify data integrity (ISO 3309)
  • Gnatcoll GNAT Components Collection - Core packages
  • Hac HAC Ada Compiler: a small, quick Ada compiler covering a subset of Ada
  • Journada Simple and nice configurable logging
  • Trendy_terminal Terminal options, setup, tab completion and hinting.

W

#walk #watchdog #wav #wavefiles #wayland #web #weechat #widgets #width #wiki #wiki-engine #wikibook #windowed #windows #wordle #wordlist #wsdl #wsse
  • Emdee Performance assistant for Musical Directors
  • Ada_gui An Ada-oriented GUI
  • Aicwl Ada Industrial Control Widgets Library
  • Umwi Unicode Monospace Width Information
  • Awa Ada Web Application
  • Wikiada Wiki Engine with parser and renderer for several wiki syntaxes
  • Gwindows GWindows - Ada Framework for Windows Development
  • Orka_awt Ada Window Toolkit
  • Win32ada Ada API to the Windows library
  • Wordle Wordle for the terminal
  • Wordlelib Library to track progress in a game of Wordle
  • Aws Ada Web Server

X

#xdg #xls #xml #xmpp #xor #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
  • Elogs Embedded logging, proven absent of runtime errors
  • Startup_gen Generates startup files (crt0 and linker script)
  • Azip AZip - A portable Zip Archive Manager
  • Dcf Ada 2012 library for document container files, Zip-based archive files
  • Gnatcoll_zlib GNAT Components Collection - zlib binding
  • Orka_plugin_archives Orka plug-in to load resources from Zip archives
  • Zipada Manage Zip Archives and raw BZip2 and LZMA streams
  • Zipdcf Tools that can (un)zip document container files, Zip-based archive files
  • Gnatcoll_zlib GNAT Components Collection - zlib binding
  • Z_compression Standalone version of the Zlib Deflate compression algorithm

831 tags.