A repository for the Kramabench benchmark - View it on GitHub