Gummi
Simple LaTeX Editor
Gummi is a LaTeX editor based on GTK3. The basic features are: - Live preview pane for the compiled document, - BibTeX integration, - Helpers for tables and matrices, - Exporting to PDF, - Error checking, - Syntax highlighting, - Spellchecking, - Document statistics, - Persistent configuration.