GitHub repository: Breinich/BenchmarkingPortal
Primary language: C#
Description: This is a web portal for the ftsrg research group, that is capable for benchmarking various tools with the benchexec tool on virtual machines in the cloud in a distributed way.