A
- 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: Standalone, 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
B
- B2ssum: BLAKE2s file hash utility
- Bar_codes: Generate various types of bar codes on different output formats
- Basalt: Collection of formally verified building blocks
- Bbqueue: DMA friendly lock-free BipBuffer
- Blake2s: SPARK83 implementation of the BLAKE2s hash function
- Brackelib: Library which contains various utility packages.
C
- C_strings: Convenience subprograms to interact with C strings
- Canberra_ada: Ada 2012 bindings for libcanberra
- 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.)
D
- Dcf: Ada 2012 library for document container files, a Zip-based format
- Dir_iterators: Ways of moving around directory trees
- Dotenv: Loads environment variables from .env for Ada projects.
E
- Eagle_lander: Apollo 11 lunar lander simulator
- Edc_client: Client library for: github.com/hgrodriguez/embedded-dashboard-console
- Elada: Expression Language Library (JSR245)
- Embedded_components: Platform agnostic drivers to interface external components
- Emojis: A library to replace names between colons with emojis
- Evdev: Ada 2012 library for input and force-feedback using Linux' evdev API
- Excel_writer: Produce Excel spreadsheets
F
- Felix: X/Open Native Language System (NLS) for Ada
- Freetypeada: Thick binding to the FreeType library
G
- 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_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
- Gprbuild: The GPRBuild Ada/multilanguage build tool
- Gtkada: An Ada graphical toolkit based on Gtk+
H
- Hal: Hardware Abstraction Layer (HAL)
- Hangman: Hangman game for the console
- Hello: "Hello, world!" demonstration project
- Hungarian: Ada wrapper for the fast Stachniss' Hungarian solver
I
- Inotify: Ada 2012 library to monitor filesystem events using Linux' inotify API
- Iterators: Functional iterators a la Rust
J
- Json: An Ada 2012 library for parsing JSON
- Jupyter_kernel: Jupyter Kernel for Ada
- Jwt: JSON Web Token (JWT) implementation in Ada
K
- Keystoreada: Ada Keystore
L
- 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
M
- 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
N
- Nrf5x_hal: Drivers and HAL for the Nordic nRF5X micro-controller family
O
- 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
P
- Partord: Small library for sorting with partial orders
- 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
R
- Raspberry_bsp: Board Support package for Raspberry PI v1, v2 and B+
- Rclada: ROS2 Ada Client Library
- Rclada_examples: ROS2 Ada Client Library - Examples
- 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
S
- 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)
- 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)
T
- Templates_parser: Templates Parser: File generation from templates in Ada
- Tiled_code_gen: Generate GESTE data from Tiled maps and tilesets
- Tiny_text: Low resolution bitmap font with a small memory footprint
- Trendy_terminal: Terminal options, setup, tab completion and hinting.
- Trendy_test: Minimal Effort Ada Unit Testing Library
U
- 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
V
- Virtapu: A virtual Audio Processing Unit to simulate 8-bit era game sounds
- Vss: Advanced string and text manipulation with Unicode support
W
- 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
X
- 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
Z
- 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
203 crates.
From community branch stable-1.1.
Alr 1.1.2.
Alire Library 1.1.2.