PowerJoular monitors power consumption of multiple platforms and processes, on Windows, Linux and macOS
- ada
- energy
- green
- power
Repository Index
47,133 repositories indexed
1–5 of 5 · Most stars
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
Ada-language framework
- ada
- ada-language
- arm
- avr
An attempt at a minimalistic and secure operating system.
An Ada 2012 library for monitoring filesystem events using Linux' inotify API
- ada
- inotify
- filesystem
- filemonitor