A Gnome Shell extension that provides a customizable Pomodoro timer.

Too much UI? Here's the Vanilla version on which this is based: http://arun.wordpress.com/2011/04/04/gnome-shell-pomodoro-extension/