AlireThe Package Manager for Ada/SPARK
Alire makes Ada development simple and modern—discover, install, and manage Ada/SPARK libraries with ease.
Discover Crates
Top Tags
Recently Updated
embedded runtime for the nRF52832 SoC
embedded runtime for the nRF52833 SoC
embedded runtime for the nRF52840 SoC
light runtime for the nRF52832 SoC
light runtime for the nRF52833 SoC
light runtime for the nRF52840 SoC
light-tasking runtime for the nRF52832 SoC
light-tasking runtime for the nRF52833 SoC
light-tasking runtime for the nRF52840 SoC
The GNAT Ada compiler - ARM cross-compiler
Newest
L-Systems editor in Ada
Client program for the CoAP-SPARK library
CoAP implementation formally verified with SPARK/Ada
Wio-E5 LoRa Transceiver Module Device Driver
Wio-E5 LoRa Transceiver Module Device Driver
Wio-E5 LoRa Transceiver Module P2P Mode Device Driver
WolfSSL encryption library and its Ada bindings
Local hosting of Ada Reference Manual (ARM)
Manipulate "paged files" found on the Ada Software Repository
Translate MIL-HDBK-1804 PDL into Section 4 of the DoD-STD-2167A SDD
What is Alire?
Alire is a catalog of ready-to-use Ada and SPARK libraries, plus a command-line tool (alr) to obtain, build, and incorporate them into your projects. It fulfills a similar role to Rust's cargo or OCaml's opam.
- Userspace operation: Like Python's virtualenv, Alire works in userspace. Each project or workspace contains all its dependencies.
- Easy project management: Project properties and dependencies are managed through a simple
alire.tomlfile. - Automatic environment setup: Alire sets up the complete build environment, so you don't have to worry about installation paths or missing dependencies.
- Distribution integration: If a project needs system packages (e.g., via
aptorpacman), Alire will guide you through installation. - Inspired by modern package managers: Alire aims to be as easy and powerful as
cargo(Rust) oropam(OCaml).
Loading latest Alire version...
Get the latest release of Alire for your platform. Start building Ada and SPARK projects in seconds!
Quick Start
Get started with Alire in just a few commands:
Initialize a new project:
alr init --bin my_projectAdd a dependency:
alr with some_crateBuild your project:
alr buildRun your executable:
alr run