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