1.alire-project / alire
Command-line tool from the Alire project and supporting library
- ada
- ada-2012
- package-manager
- package-manager-tool
- package-management
- reproducible-builds
+7 stars
from 411 · score 2.08
Trending repositories
Ranked by Attention Score: stars gained over the last 30 complete days
8 repositories by Attention Score · Oct 6, 2026 – Nov 4, 2026 (UTC)
2.AdaCore / ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARK
+5 stars
from 302 · score 1.79
3.AdaCore / spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
+4 stars
from 328 · score 1.61
4.joular / powerjoular
PowerJoular monitors power consumption of multiple platforms and processes, on Windows, Linux and macOS
- ada
- energy
- green
- power
- software
- joular
- +5 more
+2 stars
from 120 · score 1.10
5.docandrew / CuBit
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
+1 stars
from 89 · score 0.69
6.simonjwright / FreeRTOS-Ada
This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); working on Espressif ESP32-H2 and RaspberryPi RP2350 (risc-v core)
- ada
- gnat
- cortex
- rts
- risc-v
- rtos
+1 stars
from 80 · score 0.69
+1 stars
from 37 · score 0.69
8.CKWG / SI_Units-Checked-and-Unchecked
Ada packages for handling SI units of measure
+1 stars
from 4 · score 0.69