bench data for https://dotty-bench.epfl.ch - View it on GitHub
Star
1
Rank
4891825