Alire est un gestionnaire de paquets basé sur les sources pour les langages Ada et SPARK.

Il permet aux développeurs de facilement utiliser des projets (bibliothèques ou programmes) partagés par la communauté, mais aussi de partager leurs propres projets pour que d'autres puissent s'en inspirer. Les sources des projets/bibliothèques/programmes sont fournies sous forme de « crates ». Une crate peut dépendre d'autres crates, et d'autres crates peuvent dépendre d'elle. La tâche principale d'Alire est de récupérer, construire et mettre à jour automatiquement les crates du graphe de dépendances, afin que vous n'ayez pas à le faire manuellement.

La version 2.1.1 de Alire est disponible.

King est le nom d'un nouveau langage de programmation qui fait rare n'est pas dérivé d'un langage basé sur une syntaxe délimitée par des accolades ouvrantes et fermantes ;-) mais proche d'Ada. Il apparaît pour la première fois en octobre 2021 sous la forme d'un manifeste publié sur Github.

En savoir plus -> voir plus.