Hell, there's even a CLI tool that mathemagically calls latex the right number of times.
I've got a bt too deep in my Linux exploration and has become fairly accustomed to GTK+ now, through PyGObject, GtkSharp and even gtkmm. I've even built a tool with the latter for my music production needs...