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
+21 stars
from 397 · score 3.09
Trending repositories
Ranked by Attention Score: stars gained over the last 90 complete days
10 repositories by Attention Score · Aug 7, 2026 – Nov 4, 2026 (UTC)
2.AdaCore / spark2014
SPARK 2014 is the new version of SPARK, a software development technology specifically designed for engineering high-reliability applications.
+14 stars
from 318 · score 2.71
3.AdaCore / ada_language_server
Server implementing the Microsoft Language Protocol for Ada and SPARK
+9 stars
from 298 · score 2.30
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
+7 stars
from 115 · score 2.08
5.docandrew / CuBit
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
+2 stars
from 88 · score 1.10
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
+2 stars
from 79 · score 1.10
+2 stars
from 36 · score 1.10
8.fastrgv / AdaGate
AdaGate is a kid-friendly 3D dungeon escape game within a Stargate fantasy setting for Windows, OSX & most Linux distros. A tribute to Narbacular Drop with mind bending spacial interconnections.
+1 stars
from 24 · score 0.69
9.fastrgv / RetroArcade
ASCII Space Invaders, Pacman, & Frogger games that run in a terminal window on Windows, OSX & linux.
+1 stars
from 6 · score 0.69
10.CKWG / SI_Units-Checked-and-Unchecked
Ada packages for handling SI units of measure
+1 stars
from 4 · score 0.69