ALR logo

Alire


A

B

C

  • C_strings Manage Ada <-> C string conversions conveniently
  • Canberra_ada Ada 2012 bindings for libcanberra
  • Cards 52-card deck playing card library
  • Cashe A fixed-point decimal money library written in Ada.
  • Cbsg Corporate Bullshit Generator library
  • Cgk Computational Geometry Kernel
  • Chacha20 ChaCha20 implementation in Ada.
  • Checksum Algorithms for error-checking
  • Cheddar Cheddar is a real time scheduling analysis tool.
  • Chests Chests are bounded containers
  • Chipmunk2d Ada bindings for Chipmunk2D
  • Clic Command Line Interface Components
  • Cmd_ada Command based text UI, inspired by Python cmd module
  • Coap_client Client program for the CoAP-SPARK library
  • Coap_spark CoAP implementation formally verified with SPARK/Ada
  • Cobs Consistent Overhead Byte Stuffing (COBS) encoder/decoder
  • Conic_fit Least squares fitting of quadratic curves and surfaces
  • Controlled_io Files that are open while they exist and closed when they don't
  • Cortex_m Drivers for Cortex-M micro-controllers (NVIC, SysTick, etc.)
  • Crc_32 Cyclic Redundancy Check to verify data integrity (ISO 3309)
  • Cre8or_generic_image_handling Generic image file and data handling using stb_images
  • Cre8or_generic_image_handling_example Generic image handling example project

D

  • Dashera DASHER Terminal Emulator
  • Db_maker A generic for creating simple DBs (one table in an RDBMS)
  • Dcf Ada 2012 library for document container files, Zip-based archive files
  • Dependency_graph_extractor Extract dependency information from Ada projects
  • Dg_loada dg_loada loads (restores) legacy DG AOS/VS DUMP_II files
  • Dir_iterators Ways of moving around directory trees
  • Dirty_booleans Comparisons with 0/1, T/F, Y/N, Yes/No, etc.
  • Dotenv Loads environment variables from .env for Ada projects.
  • Dummyserver DummyServer is a terminal program that serves dummy content
  • Dynamo Dynamo Ada Generator

E

  • Eagle_lander Apollo 11 lunar lander simulator
  • Easy_graphics Very Simple Graphics Package
  • Edc_client Client library for: github.com/hgrodriguez/embedded-dashboard-console
  • Eeprom_i2c EEPROM I2C drivers library for embedded platforms
  • Elada Expression Language Library (JSR245)
  • Elevator A Simple Elevator System
  • Elogs Embedded logging, proven absent of runtime errors
  • Emacs_ada_mode Parser for Emacs ada-mode
  • Emacs_gpr_mode parser for Emacs gpr mode
  • Emacs_gpr_query Emacs xref backend using information output by GNAT compiler.
  • Emacs_wisi Ada code for Emacs wisi ELPA package
  • Emacs_wisitoken_grammar_mode parser for Emacs wisitoken-grammar mode
  • Embedded_components Platform agnostic drivers to interface external components
  • Embedded_nrf52832 embedded runtime for the nRF52832 SoC
  • Embedded_nrf52833 embedded runtime for the nRF52833 SoC
  • Embedded_nrf52840 embedded runtime for the nRF52840 SoC
  • Emdee Performance assistant for Musical Directors
  • Emojis A library to replace names between colons with emojis
  • Encryption_utilities Utility programs for the encryption algorithms included in the PragmARC
  • Endianness Convenience subprograms to convert between Big- and Little-endianness
  • Enet Ada Embedded Network Stack
  • Enet_stm32 ENet driver for STM32
  • Epoll Linux epoll binding
  • Esp_idf Ada binding for the ESP-IDF SDK
  • Ethernet Root crate for ethernet namespace and MDIO/SMI/MIIM interface
  • Euler_tools Assortment of mathematical functions to solve Project Euler problems.
  • Evdev Library for input devices and force-feedback using Linux' evdev API
  • Ews Embedded Web Server
  • Excel_writer Produce Excel spreadsheets
  • Exsytrawo Exception Symbolic Traceback Workaround for macOS

F

G

  • Garlic GNAT Library for Ada Distributed Environment (garlic)
  • Geo_coords Geo coordinates calculation for determining Location, Distance, Bearing
  • Geste GEneric Sprite and Tile Engine
  • Geste_examples Example for the GESTE game engine
  • Get_password Read a string without echo, in password-like style
  • Getada The unofficial mac and linux installer for Alire.
  • Getopt POSIX getopt(3) for Ada
  • Gfx_core Modular Portable Graphics Library, Core Components
  • Gfx_rasteriser Modular Portable Graphics Library, Primitive's Rasteriser
  • Gid Generic Image Decoder - decode a broad variety of image formats
  • Globe_3d GLOBE_3D: GL Object Based Engine for 3D
  • Gnat_arm_elf The GNAT Ada compiler - ARM cross-compiler
  • Gnat_avr_elf The GNAT Ada compiler - AVR cross-compiler
  • Gnat_math_extensions Eigenvalues, eigenvectors for non-symmetric, non-Hermitian matrices
  • Gnat_native The GNAT Ada compiler - Native
  • Gnat_riscv64_elf The GNAT Ada compiler - RISC-V cross-compiler
  • Gnat_xtensa_esp32_elf The GNAT Ada compiler - ESP32 cross-compiler
  • Gnatcoll GNAT Components Collection - Core packages
  • Gnatcoll_gmp GNAT Components Collection - GNU Multiple Precision Arithmetic binding
  • Gnatcoll_iconv GNAT Components Collection - iconv binding
  • Gnatcoll_lzma GNAT Components Collection - lzma binding
  • Gnatcoll_omp GNAT Components Collection - OpenMP binding
  • Gnatcoll_postgres GNAT Components Collection - postgres
  • Gnatcoll_python GNAT Components Collection - python2 binding
  • Gnatcoll_python3 GNAT Components Collection - python3 binding
  • Gnatcoll_readline GNAT Components Collection - readline binding
  • Gnatcoll_sql GNAT Components Collection - sql
  • Gnatcoll_sqlite GNAT Components Collection - sqlite
  • Gnatcoll_syslog GNAT Components Collection - syslog binding
  • Gnatcoll_xref GNAT Components Collection - xref
  • Gnatcoll_zlib GNAT Components Collection - zlib binding
  • Gnatcov Coverage Analysis Tool
  • Gnatdist_garlic The configuration tool gnatdist for GARLIC
  • Gnatdoc GNAT Documentation Generation Tool
  • Gnatformat Opinionated code formatter for the Ada language
  • Gnatprove Automatic formal verification of SPARK code
  • Gnoga gnoga - The GNU Omnificent GUI for Ada
  • Gpr_unit_provider GNAT Project File Library
  • Gprbuild The GPRBuild Ada/multilanguage build tool
  • Gsl Ada binding to Gnu Scientific Library 2.7
  • Gtkada An Ada graphical toolkit based on Gtk+
  • Gwindows GWindows - Ada Framework for Windows Development

H

I

  • Image_io Output in BMP,PPM,QOI;input in BMP,GIF,JPG,PNG,PNM,QOI,TGA
  • Image_random True random numbers from a digital camera
  • Ini_files A standalone, portable Ada package for configuration files
  • Inotify Monitor filesystem events using Linux' inotify API
  • Intl NLS thin Ada binding
  • Io_utils A terminal IO library
  • Iso ISO Standard references for Ada such as 1366 & 4217 (Country & Currency)
  • Iterators Functional iterators a la Rust
  • Itsybitsy_bsp Board support package for Arduino ItsyBitsy
  • Itsybitsy_rp2040_bsp Board support package for Arduino ItsyBitsy RP2040

J

  • J2ada Almost Java to Ada translator
  • Jintp Template parser in Ada based on Jinja2
  • Journada Simple and nice configurable logging
  • Json An Ada 2012 library for parsing JSON
  • Jupyter_kernel Jupyter Kernel for Ada
  • Jwt JSON Web Token (JWT) implementation in Ada

K

L

M

N

  • Ncursesada Ada binding to the ncurses text user interface library
  • Nmea_0183 NMEA 0183 message decoder
  • Nrf5x_hal Drivers and HAL for the Nordic nRF5X micro-controller family

O

P

Q

  • Qmc5883 Driver for QMC5883L magnetic sensor
  • Qoi Ada/SPARK implementation of the Quite Ok Image format
  • Qplt An Ada-GUI program to quickly produce a plot of a data set

R

  • Raiden An Ada implemenetation of a block cipher called Raiden.
  • Raspberry_bsp Board Support package for Raspberry PI v1, v2 and B+
  • Raylib Ada bindings for Raylib
  • Rclada ROS2 Ada Client Library
  • Rclada_examples ROS2 Ada Client Library - Examples
  • Rejuvenation Analysis and manipulation of Ada code based on concrete patterns
  • Remoteio Remote I/O Protocol Client Library for GNAT Ada
  • Resources Utility library to handle project resources at run-time
  • Rewriters Easy, yet advanced manipulation of Ada code
  • Rp2040_hal Drivers and HAL for the RP2040 micro-controller family
  • Rpio Driver for the BCM2835's GPIO, as seen on the Raspberry Pi
  • Rsfile Randomly pick a file with probability proportional to its size
  • Rtmidi Ada "middleweight" binding for the rtMIDI library
  • Rxada Experimental implementation of ReactiveX in Ada

S

  • Saatana SPARK/Ada Algorithms Targeting Advanced Network Applications
  • Samd51_hal Drivers and HAL for the SAMD51 micro-controller family
  • Sciada Collection of Scientific Operations
  • Scripted_testing Integration testing
  • Sdlada Ada 2012 SDL 2.x bindings.
  • Secretada Secret service Ada binding
  • Security Security Library for HTTP client and server with OAuth2 support
  • Semantic_versioning Semantic Versioning in Ada
  • Septum An interactive context-based text search tool for large codebases.
  • Serverfaces Web Server Faces JSR 252, JSR 314 and JSR 344
  • Serverfaces_unit Web Server Faces JSR 252, JSR 314 and JSR 344 (Testing framework)
  • 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)
  • Sh1107 Driver for the SH1107/OLED 128x128 monochrome display
  • Sha1 Secure Hash Algorithm 1 implemented in Ada
  • Sha2 Secure Hash Algorithm 2 implemented in Ada
  • Shoot_n_loot Platform game for the AdaFruit PyGamer console
  • Si_units Pretty print physical values in properly scaled metric (SI) units.
  • Simcpucli CLI for CPU simulator
  • Simh_tapes Library to handle SimH Standard magnetic tape image files
  • Simple_components Simple Components - A collection of support packages
  • Simple_logging Simple logging to console
  • Simple_regex Port of Rob Pike's simple regex from the Practice of Programming.
  • Slip SLIP Protocol Implementation
  • Socketcan An Ada language binding to SocketCAN for GNU/Linux systems
  • Softdev Serial protocols implemented in software
  • Spark_unbound Unbound data structures in Ada-Spark
  • Sparknacl Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library
  • Spat SPAT - SPARK Proof Analysis Tool
  • Spawn A simple library to spawn processes and communicate with them.
  • Spawn_glib A simple library to spawn processes and communicate with them.
  • Spdx SPDX License Expression Validator
  • Spdx_tool SPDX license detection and management tool
  • Specfun Native Ada library of special functions (e.g., beta, gamma)
  • Splitter A function to emulate "split" as implemented in Ruby
  • Spoon Use posix_spawn() to spawn processes without forking
  • St7789 SPI based driver for the ST7789 TFT display
  • Startup_gen Generates startup files (crt0 and linker script)
  • Stephes_ada_library Stephe's Ada library; miscellaneous useful stuff.
  • Stm32f0x2_hal Drivers and HAL for stm32f0x2 mcu family
  • Stopwatch Keep track of elapsed time
  • Strategy Property-based testing framework
  • Suika_programing Suika game clone with programing languages
  • Svd2ada Ada binding generator from CMSIS-SVD hardware descriptions files
  • System_random Minimal library to retrieve random data from system sources

T

  • Tash Binding to Tcl/Tk
  • Task_coroutines Coroutines and generators using only standard tasking features
  • Templates_parser Templates Parser: File generation from templates in Ada
  • Texcad TeXCAD is a program for drawing or retouching {picture}s in LaTeX
  • Texts A no-frills library to deal with Unicode texts in Ada 2012
  • Tiled_code_gen Generate GESTE data from Tiled maps and tilesets
  • Tiny_rp2040_bsp Board support package for Pimoroni Tiny RP2040
  • Tiny_text Low resolution bitmap font with a small memory footprint
  • Tlsada Bindings for libtls
  • Toml_slicer Edit TOML files directly without parsing
  • Trendy_terminal Terminal options, setup, tab completion and hinting.
  • Trendy_test Minimal Effort Ada Unit Testing Library
  • Tresses Synth library inspired by Mutable Instruments Braids

U

  • Ulid Universally Unique Lexicographically Sortable Identifier
  • Umwi Unicode Monospace Width Information
  • Universal_text_file Proposed universal format for Unicode text files
  • Uri_ada Processing of URI strings
  • Uri_mime URI & MIME Type Parsing and Manupulation
  • Usb_embedded An Ada USB stack for embedded devices
  • Utf8test Test the terminal behavior when outputting Latin-1 and UTF-8 strings
  • Utilada Utility Library with streams, processes, logs, serialization, encoders
  • Utilada_aws Utility Library REST support on top of AWS
  • Utilada_curl Utility Library REST support on top of CURL
  • Utilada_lzma Utility Library streams with LZMA support
  • Utilada_unit Utility Library testing framework with Ahven
  • Utilada_xml Utility Library serialization with XML/Ada
  • Uuids Implementation of RFC 9562 Universally Unique IDentifiers (UUIDs)
  • Uxstrings Unicode Extended Strings utilities

V

  • Vanilla Simple replace in character stream
  • Vaton Verified Ascii To Number conversion written in Ada/SPARK
  • Virtapu A virtual Audio Processing Unit to simulate 8-bit era game sounds
  • Vss Advanced string and text manipulation with Unicode support

W

X

  • X1804 Translate MIL-HDBK-1804 PDL into Section 4 of the DoD-STD-2167A SDD
  • Xdg_base_dir XDG Base Directory Specification
  • Xia Implements XPath 1.0 in Ada
  • Xml_ez_out Creation of XML-formatted output from Ada programs
  • Xmlada The XML/Ada toolkit
  • Xoshiro xoshiro128++ and xoshiro256++ pseudo-random number generators

Y

  • Yass Static website generator
  • Yeison A JSON-like data structure using Ada 2022 features
  • Yeison_12 A JSON-like data structure (Ada 2012 version)

Z

  • Z_compression Standalone version of the Zlib Deflate compression algorithm
  • Zeromq_ada An Ada-binding the ØMQ library
  • Zipada Manage Zip Archives and raw BZip2 and LZMA streams
  • Zipdcf Tools that can (un)zip document container files, Zip-based archive files
  • Zlib_ada ZLib for Ada thick binding

560 crates. From community branch stable-1.4.0. Alr 2.1.0. Alire Library 2.1.0.