PowerJoular monitors power consumption of multiple platforms and processes, on Windows, Linux and macOS
- ada
- energy
- green
- power
Repository Index
56,139 visible repositories in the index
1–4 of 4 · Most stars
General-purpose, formally-verified, 64-bit operating system in SPARK/Ada for x86-64
An attempt at a minimalistic and secure operating system.
Tool for building a Linux package from an Alire crate
- alire
- appimage
- packaging
- ada