- Ada Library and Tutorial Requests https://alire.ada.dev 20 comments ada
- Alire has reached 200 Crates! https://alire.ada.dev/ 18 comments ada
- Alire Storytime https://alire.ada.dev 3 comments ada
- alire.ada.dev: first beta release of the package manager for Ada/SPARK https://alire.ada.dev 6 comments ada
- ALIRE: Ada LIbrary REpository. https://alire.ada.dev/ 5 comments ada
Linking pages
- Get Ada installed on your computer today - GetAda https://getada.dev 115 comments
- A New Era For Ada/SPARK Open Source Community | The AdaCore Blog https://blog.adacore.com/a-new-era-for-ada-spark-open-source-community 48 comments
- Ada on any ARM Cortex-M device, in just a couple… | The AdaCore Blog https://blog.adacore.com/ada-on-any-arm-cortex-m-device-in-just-a-couple-minutes 25 comments
- First beta release of Alire, the package manager… | The AdaCore Blog https://blog.adacore.com/first-beta-release-of-alire-the-package-manager-for-ada-spark 22 comments
- From Rust to SPARK: Formally Proven Bip-Buffers | The AdaCore Blog https://blog.adacore.com/from-rust-to-spark-formally-proven-bip-buffers 15 comments
- Announcing The First Ada/SPARK Crate Of The Year… | The AdaCore Blog https://blog.adacore.com/announcing-the-first-ada-spark-crate-of-the-year-award 13 comments
- SPARKNaCl/README.md at master · rod-chapman/SPARKNaCl · GitHub https://github.com/rod-chapman/sparknacl/blob/master/readme.md 12 comments
- An Embedded USB Device stack in Ada | The AdaCore Blog https://blog.adacore.com/an-embedded-usb-device-stack-in-ada 11 comments
- GitHub - reznikmm/aarch64-alire-index: Alire port to aarch64 https://github.com/reznikmm/aarch64-alire-index 11 comments
- Starting micro-controller Ada drivers in the Alire… | The AdaCore Blog https://blog.adacore.com/starting-micro-controller-ada-drivers-in-the-alire-ecosystem 10 comments
- Ada GameDev Part 1: GEneric Sprite and Tile Engine… | The AdaCore Blog https://blog.adacore.com/ada-gamedev-part-1-generic-sprite-and-tile-engine-geste 9 comments
- GitHub - onox/json-ada: An Ada 2012 library for parsing JSON https://github.com/onox/json-ada 8 comments
- GitHub - AJ-Ianozi/Cashe: A Money library for Ada https://github.com/AJ-Ianozi/Cashe 7 comments
- Ada/SPARK Crate Of The Year 2021 Winners Announced! | The AdaCore Blog https://blog.adacore.com/ada-spark-crate-of-the-year-2021-winners-announced 5 comments
- SPARKNaCl with GNAT and SPARK Community 2021:… | The AdaCore Blog https://blog.adacore.com/sparknacl-with-gnat-and-spark-community-2021-port-proof-and-performance 5 comments
- Introduction to VSS library | The AdaCore Blog https://blog.adacore.com/introduction-to-vss-library 5 comments
- Announcing the 2023 Ada/SPARK Crate of the Year⦠| The AdaCore Blog https://blog.adacore.com/announcing-the-2023-ada-spark-crate-of-the-year-award 5 comments
- GitHub - glencornell/ada-socketcan: An Ada language binding to SocketCAN for GNU/Linux systems https://github.com/glencornell/ada-socketcan 4 comments
- GitHub - Blady-Com/UXStrings: Ada Unicode Extended Strings https://github.com/Blady-Com/UXStrings 4 comments
- OpenGLAda - Home https://flyx.github.io/OpenGLAda/ 3 comments