dogear

enter for all results · esc to close

alire

github.comtool

A catalog of ready-to-use Ada libraries plus a command-line tool (alr) to obtain, compile, and incorporate them into your own projects. It aims to fulfill a similar role to Rust's cargo or OCaml's opam.

from
Ada/SPARK
added
2026-10-10
likes
0

Ada/SPARK › Deployment > Build and Package: “A catalog of ready-to-use Ada libraries plus a command-line tool (alr) to obtain, compile, and incorporate them into your own projects. It aims to fulfill a similar role to Rust's cargo or OCaml's opam.”