Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters (1)

Filters

Clear all filters

1–6 of 6 · Most stars

PowerJoular monitors power consumption of multiple platforms and processes, on Windows, Linux and macOS

  • ada
  • energy
  • green
  • power

GPRbuild is an advanced build system designed to help automate the construction of multi-language systems.

HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada