Gummi est un éditeur LaTeX codé en Python/GTK+ il est très léger et également extrêmement pratique pour éditer du code LaTeX et obtenir un document parfait en réduisant énormément les étapes (compilation etc…).