Owned by Michael Howell.
#7 in #cpu-time
36KB 791 lines
Linux tool to check peak memory usage and CPU time
~780KB ~21K SLoC