1.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
Trending repositories
Ranked by Attention Score: stars gained over the last 180 complete days
8 repositories by Attention Score · May 8, 2026 – Nov 3, 2026 (UTC)
2.zertovitch / hac
HAC Ada Compiler - a small, quick Ada compiler fully in Ada
- ada
- ada-language
- compiler
- virtual-machine
- strongly-typed
- ada-library
- +7 more
+15 stars
from 162 · score 2.77
3.jgrivera67 / HiRTOS
HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
+7 stars
from 50 · score 2.08
4.docandrew / CuBit
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
+4 stars
from 86 · score 1.61
+3 stars
from 132 · score 1.39
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.gabriele-galeotti / SweetAda
Ada-language framework
+2 stars
from 51 · score 1.10
8.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