GitHub repository: JDTCC/benchmark
Description: A microbenchmark support library