ALR logo

Alire


A

B

  • B2ssum BLAKE2s file hash utility
  • Bar_code_drawing Creation of bar codes and qr codes
  • Bar_codes Generate various types of bar codes (1D or 2D) on various media
  • Bare_runtime Minimal Ada/SPARK run-time for embedded or other restricted targets
  • Basalt Collection of formally verified building blocks
  • Base64 Base64 encoding/decoding routines
  • Bb_pico_bsp Ada BSP for the Keyboard Featherwing + RPI PICO
  • Bbqueue DMA friendly lock-free BipBuffer
  • Bbs Root package for other crates and contains some physical units
  • Bbs_embed_common Abstract hardware drivers and drivers for some i2c bus devices.
  • Bbs_embed_linux Physical device drivers for Raspberry Pi and BeagleBone Black
  • Bbs_lisp Embedable tiny lisp interpreter
  • Bbs_simcpu CPU Simulator for multiple CPUs
  • Bbs_webif Simple web server to provide an interface to embedded instruments
  • Bbt Black box test runner
  • Binary_trees Ordered binary trees implemented without access types
  • Bingada Bingo application in GTKAda with sound in ASFML
  • Bit_sets A packed boolean array that saves space and is performant
  • Blake2s SPARK83 implementation of the BLAKE2s hash function
  • Blinkenlights Project to blink LEDs in interesting patterns
  • Bme280 Driver for BME280 Humidity sensor
  • Brackelib Library which contains various utility packages.

C

  • C_strings Convenience subprograms to interact with C strings
  • Canberra_ada Ada 2012 bindings for libcanberra
  • Cashe A fixed-point decimal money library written in Ada.
  • Cbsg Corporate Bullshit Generator library
  • 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
  • Cobs Consistent Overhead Byte Stuffing (COBS) encoder/decoder
  • 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)

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

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

  • Hac HAC Ada Compiler: a small, quick Ada compiler covering a subset of Ada
  • Hal Hardware Abstraction Layer (HAL)
  • Hangman Hangman game for the console
  • Hello 'Hello, world!' demonstration project
  • Hex_format Hexadecimal string formatting for modular types
  • Hirtos High-Integrity RTOS
  • Hirtos_separation_kernel High-Integrity RTOS Separation Kernel
  • Hmac HMAC implemented in Ada
  • Hmc5883 Driver for HMC5883L magnetic sensor
  • Honki_tonks_zivilisationen The Code of my 4X turn-based strategy game.
  • Hp41cx_tools HP-41CX emulator Tools
  • Hungarian Ada wrapper for the fast Stachniss' Hungarian solver

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
  • 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
  • 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

  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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

  • 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

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

500 crates. From community branch stable-1.3.0. Alr 2.0.2. Alire Library 2.0.2.