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_all: Ada Database Objects (All drivers)
- Ado_mysql: Ada Database Objects (Mysql)
- 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: ANSI escape sequences
- Apdf: Portable package for producing dynamically PDF documents
- Are: Advanced Resource Embedder
- Asfml: 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
- Automate: Ada finite-state machine generator
- 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
- 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
- C_strings: Convenience subprograms to interact with C strings
- Canberra_ada: Ada 2012 bindings for libcanberra
- Cbsg: Corporate Bullshit Generator library
- 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.)
D
- Dcf: Ada 2012 library for document container files, a Zip-based format
- 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
- 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
- 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
F
- 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
G
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
- Hmac: HMAC implemented in Ada
- Hungarian: Ada wrapper for the fast Stachniss' Hungarian solver
I
- 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
J
- J2ada: Almost Java to Ada translator
- Json: An Ada 2012 library for parsing JSON
- Jupyter_kernel: Jupyter Kernel for Ada
- Jwt: JSON Web Token (JWT) implementation in Ada
K
L
- 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
- Libkeccak: SHA-3 and related algorithms
- Libsimpleio: Linux Simple I/O Library bindings for GNAT Ada
- Linenoise_ada: Bindings to the Linenoise line editing library
- Littlefs: Ada/SPARK binding for the LittleFS flash embedded filesystem
- Lmdb_ada: Bindings to the Lightning Memory-Mapped Database
- 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
N
- Nrf5x_hal: Drivers and HAL for the Nordic nRF5X micro-controller family
O
P
- 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
Q
- Qoi: Ada/SPARK implementation of the Quite Ok Image format
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
- 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
- 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
- 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.
- 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
- 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)
- Spoon: Use posix_spawn() to spawn processes without forking
- Startup_gen: Generates startup files (crt0 and linker script)
- Stopwatch: Keep track of elapsed time
- Svd2ada: Ada binding generator from CMSIS-SVD hardware descriptions files
- System_random: Minimal library to retrieve random data from system sources
T
U
- Uri_ada: Processing of URI strings
- Uri_mime: URI & MIME Type Parsing and Manupulation
- 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
- Wordle: Wordle for the terminal
- Wordlelib: Library to track progress in a game of Wordle
- Wordlist: An English word list
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
Y
- Yeison: A JSON-like data structure using Ada 2022 features
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
268 crates.
From community branch stable-1.2
.
Alr 1.2.0
.
Alire Library 1.2.0
.