Alire - Crates

Aaa: Alex's Ada Assortment (of miscellaneous utilities)
Ada_fuse: Ada bindings for Fuse (Filesystem in Userspace)
Ada_language_server: An implementation of the Microsoft's Language Server Protocol for Ada
Ada_lua: An Ada binding for lua
Ada_pretty: Ada Pretty Printer Library
Ada_toml: TOML parser for Ada
Ada_voxel_space_demo: Voxel Space render engine demo in Ada
Adabots: Learn Ada by programming Minecraft robots
Adayaml: Experimental YAML 1.3 implementation in Ada
Adl_middleware: Middleware layer of the Ada Drivers Library project
Ado: Ada Database Objects (Core library)
Ado_postgresql: Ada Database Objects (PostgreSQL)
Ado_sqlite: Ada Database Objects (SQLite)
Aflex: An Ada Lexical Analyzer Generator
Agpl: Ada General Purpose Library with a robotics flavor
Aicwl: Ada Industrial Control Widgets Library
Ajunitgen: Generator of JUnit-compatible XML reports
Anagram: Grammar handling and parser generation Ada library
Ansiada: Comprehensive ANSI control sequences for terminal output
Apdf: Portable package for producing dynamically PDF documents
Are: Advanced Resource Embedder
Asfml: ASFML is an Ada binding to SFML, the Simple and Fast Multimedia Library
Asis: Ada Semantic Interface Specification or ASIS (library part)
Atomic: Standalone Ada/SPARK bindings to GCC atomic built-ins
Audio_base: Basic Ada packages for audio applications
Audio_wavefiles: Ada Wavefile Library
Aunit: Ada unit test framework
Avltrees: Threaded AVL trees library for Ada
Aws: Ada Web Server
Axmpp: XMPP client library in Ada
Ayacc: An Ada LARL(1) parser generator

B2ssum: BLAKE2s file hash utility
Bar_codes: Generate various types of bar codes on different output formats
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
Blake2s: SPARK83 implementation of the BLAKE2s hash function
Brackelib: Library which contains various utility packages.

C_strings: Convenience subprograms to interact with C strings
Canberra_ada: Ada 2012 bindings for libcanberra
Chests: Chests are bounded containers
Clic: Command Line Interface Components
Cmd_ada: Command based text UI, inspired by Python cmd module
Cortex_m: Drivers for Cortex-M micro-controllers (NVIC, SysTick, etc.)

Dcf: Ada 2012 library for document container files, a Zip-based format
Dependency_graph_extractor: Extract dependency information from Ada projects
Dir_iterators: Ways of moving around directory trees
Dotenv: Loads environment variables from .env for Ada projects.

Eagle_lander: Apollo 11 lunar lander simulator
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)
Embedded_components: Platform agnostic drivers to interface external components
Emojis: A library to replace names between colons with emojis
Endianness: Convenience subprograms to convert between Big- and Little-endianness
Epoll: Linux epoll binding
Evdev: Ada 2012 library for input and force-feedback using Linux' evdev API
Excel_writer: Produce Excel spreadsheets

Fastpbkdf2_ada: Binding and an Ada wrapper to fastpbkdf2
Felix: X/Open Native Language System (NLS) for Ada
Freetypeada: Thick binding to the FreeType library

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
Gid: Decoding a broad variety of image formats
Gnat_arm_elf: The GNAT Ada compiler - ARM cross-compiler
Gnat_avr_elf: The GNAT Ada compiler - AVR cross-compiler
Gnat_native: The GNAT Ada compiler - Native
Gnat_riscv64_elf: The GNAT Ada compiler - RISC-V 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
Gnatprove: Automatic formal verification of SPARK code
Gprbuild: The GPRBuild Ada/multilanguage build tool
Gtkada: An Ada graphical toolkit based on Gtk+

Hal: Hardware Abstraction Layer (HAL)
Hangman: Hangman game for the console
Hello: "Hello, world!" demonstration project
Hmac: HMAC implemented in Ada
Hungarian: Ada wrapper for the fast Stachniss' Hungarian solver

Ini_files: A standalone, portable Ada package for configuration files
Inotify: Ada 2012 library to monitor filesystem events using Linux' inotify API
Iterators: Functional iterators a la Rust
Itsybitsy_bsp: Board support package for Arduino ItsyBitsy
Itsybitsy_rp2040_bsp: Board support package for Arduino ItsyBitsy RP2040

Json: An Ada 2012 library for parsing JSON
Jupyter_kernel: Jupyter Kernel for Ada
Jwt: JSON Web Token (JWT) implementation in Ada

Keystoreada: Ada Keystore

Lace: Contains a set of low level re-usable Ada components.
Lace_box2d: Provides a thin Ada binding to the 'box2d' C++ project.
Lace_bullet: Provides a thin Ada binding to the 'bullet' C++ project.
Lace_c_math: A binding to the C math code used by box2d & bullet bindings.
Lace_collada: A Collada parser.
Lace_gel: A 2D/3D game engine library (GEL).
Lace_gel_animation_demo: A demo of GEL's human animation.
Lace_gel_full_demo: A demo of most of GEL's features.
Lace_math: Provides an Ada package family covering pure and applied mathematics.
Lace_opengl: Provides an openGL engine.
Lace_physics: Provides 2D/3D rigid body dynamics simulation.
Lace_shared: Default settings for GPR files in the Lace project.
Lace_swig: Provides packages required by bindings produced by the 'swig4ada' tool.
Lace_xml: Provides simple XML read/write support.
Lal_highlight: Simple code highlighters based on Libadalang
Langkit_support: Runtime support library for Langkit-generated libraries
Libadalang: Ada semantic analysis library
Libadalang_tools: Ada semantic analysis library extension and tools
Libgpr: GNAT Project File Library
Libhello: "Hello, world!" demonstration project support library
Libsimpleio: Linux Simple I/O Library bindings for GNAT Ada
Littlefs: Ada/SPARK binding for the LittleFS flash embedded filesystem
Loga: Simple library for simple logging. Like npm package "debug", but for Ada
Lvgl_ada: Bindings for the LVGL embedded GUI framework
Lvgl_ada_examples: Examples for the LVGL embedded GUI framework Ada binding
Lvgl_ada_simulator: SDL simulator for the LVGL embedded GUI framework
Lzmada: Ada LZMA Library Binding

Mandelbrot_ascii: Mandelbrot renderer using Unicode glyphs
Mathpaqs: A collection of mathematical, 100% portable, packages
Matreshka_amf: Implementation of OMG's Meta Object Facility (MOF)
Matreshka_amf_dd: Diagram Definition (DD) specification support for AMF
Matreshka_amf_mofext: The UML mofext for AMF
Matreshka_amf_ocl: The UML OCL for AMF
Matreshka_amf_uml: Unified Modeling Language support for AMF
Matreshka_amf_utp: The UML Testing Profile for AMF
Matreshka_fastcgi: FastCGI implementation (demo)
Matreshka_league: League - universal string library. Part of Matreshka framework
Matreshka_servlet: Servlet API
Matreshka_soap: Framework for work with SOAP 1.2
Matreshka_soap_wsse: WS-Security 1.1 implementation for SOAP 1.2
Matreshka_spikedog_api: Web-application server. API library
Matreshka_spikedog_awsd: Web-application server. API library
Matreshka_spikedog_core: Web-application server. Implementation library
Matreshka_sql: Common SQL Database API
Matreshka_sql_firebird: Firebird SQL binding for Ada
Matreshka_sql_mysql: MySQL binding for Ada
Matreshka_sql_oracle: Oracle DB binding for Ada
Matreshka_sql_postgresql: PostgreSQL binding for Ada
Matreshka_sql_sqlite3: SQLite binding for Ada
Matreshka_xml: Library to manipulate with XML streams and documents
Mcp2221: MCP2221 USB Raw HID I/O Expander Library for GNAT Ada
Microbit_bsp: Board Support Package for the BBC micro:bit v1
Microbit_examples: Examples and tutorials for Ada on the BBC micro:bit
Minirest: Minimalist Ada REST client library
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

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
Optional: Optional values a la java.lang.Optional

Parse_args: An Ada 2012 package to parse command line arguments and options
Partord: Small library for sorting with partial orders
Pbkdf2: PBKDF2 implemented in Ada
Pico_bsp: Board support package for Raspberry Pi Pico
Pico_examples: Examples for Ada on the Raspberry Pi Pico
Play_2048: 2048 game: merge tiles with the same number until you add up to 2048
Progress_indicators: Ways of displaying progress in command line tools.
Protobuf: Google Protocol Buffers implementation in Ada
Pygamer_bsp: Board Support Package for the AdaFruit PyGamer
Pygamer_simulator: SDL simulator of the AdaFruit PyGamer console

Qoi: Ada/SPARK implementation of the Quite Ok Image format

Raspberry_bsp: Board Support package for Raspberry PI v1, v2 and B+
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
Rp2040_hal: Drivers and HAL for the RP2040 micro-controller family
Rsfile: Pick a file with probability proportional to its size
Rxada: RxAda port of the Rx framework

Saatana: SPARK/Ada Algorithms Targeting Advanced Network Applications
Samd51_hal: Drivers and HAL for the SAMD51 micro-controller family
Sdlada: Ada 2012 bindings to SDL 2
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_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.
Simple_components: Simple Components - A collection of support packages
Simple_logging: Simple logging to console
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)
Startup_gen: Generates startup files (crt0 and linker script)
Svd2ada: Ada binding generator from CMSIS-SVD hardware descriptions files
System_random: Minimal library to retrieve random data from system sources

Templates_parser: Templates Parser: File generation from templates in Ada
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
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

Uri_ada: Processing of URI strings
Usb_embedded: An Ada USB stack for embedded devices
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

Virtapu: A virtual Audio Processing Unit to simulate 8-bit era game sounds
Vss: Advanced string and text manipulation with Unicode support

Webdriver: Web Browser control API
Weechat_ada: Ada 2012 library for WeeChat plug-ins
Wikiada: Wiki Engine with parser and renderer for several wiki syntaxes

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

Yeison: A JSON-like data structure using Ada 2022 features

Zeromq_ada: An Ada-binding the ØMQ library
Zipada: Manage Zip Archives and raw LZMA streams
Zipdcf: Tools that can (un)zip document container files, a Zip-based format
Zlib_ada: ZLib for Ada thick binding

243 crates. From community branch stable-1.1. Alr 1.1.3. Alire Library 1.1.3.