GitHub repository: lampepfl/bench-data
Description: bench data for https://dotty-bench.epfl.ch