Claude Code skill implementing Manus-style persistent markdown planning — the workflow pattern behind the $2B acquisition.

A tool for measuring energy consumption of Intel CPUs

ReproZip is a tool that simplifies the process of creating reproducible experiments from command-line executions, a frequently-used common denominator in computational science.

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement