Projects in Awesome Lists by sosy-lab
A curated list of projects in awesome lists by sosy-lab .
https://github.com/sosy-lab/cpu-energy-meter
A tool for measuring energy consumption of Intel CPUs
energy linux rapl resource-measurement
Last synced: 07 May 2025
https://github.com/sosy-lab/cpachecker
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)
c java software-verification static-analysis verification
Last synced: 27 Feb 2025