Anyone know of any Linux specific speed running tools/timers?

Hello I am a Linux user that is interested in speed running.