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
+44 stars
from 374 · score 3.81
Trending repositories
Ranked by Attention Score: stars gained over the last 180 complete days
11 repositories by Attention Score · May 10, 2026 – Nov 5, 2026 (UTC)
2.AdaCore / spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
+28 stars
from 304 · score 3.37
3.AdaCore / ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARK
+17 stars
from 290 · score 2.89
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
+16 stars
from 106 · score 2.83
5.docandrew / CuBit
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
+4 stars
from 86 · score 1.61
6.fastrgv / RetroArcade
ASCII Space Invaders, Pacman, & Frogger games that run in a terminal window on Windows, OSX & linux.
+3 stars
from 4 · score 1.39
7.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
+2 stars
from 79 · score 1.10
+2 stars
from 10 · score 1.10
9.CKWG / SI_Units-Checked-and-Unchecked
Ada packages for handling SI units of measure
+2 stars
from 3 · score 1.10
10.RavSS / HAVK
An attempt at a minimalistic and secure operating system.
- ada
- osdev
- operating-system
- kernel
- security
- spark-ada
+1 stars
from 28 · score 0.69
+1 stars
from 5 · score 0.69