AutoLaTeX is a tool for managing small to large LaTeX documents. It detects which files which are used to build the document (included TeX files, BibTeX, figures, etc.), and launches the various different tools (latex, bibtex, makeindex) when the sources files have been changed. It provides translation rules which automatically generate figures in EPS, PNG, or PDF formats from different types of sources (dia, xfig, svg, astah, source code, etc.) AutoLaTeX also provides graphical user interfaces, a plugin for the editors Gedit and Sublime Text, and a standalone Gtk application.
TeXcount is a Perl script for counting words in LaTeX documents. It parses valid LaTeX documents counting words, headers, formulae (mathematics), and floats/begin-end groups. To run the script, you can either download it and run it on your own computer, or you can use the Web interface. TeXcount is included in the CTAN TeX/LaTeX archive, and thus included in several TeX distributions. If you have TeX installed, chances are you may already have TeXcount.
bibtex2html is a collection of tools for translating BibTeX bibliographies to HTML. It can handle any BibTeX style (even those producing multiple bibliographies), use additional fields (like "abstract", "url", and "ps") to insert Web links, replace cross-references with links, sort on various fields, process simple (La)TeX macros, identify syntax errors in BibTeX files, and filter BibTeX entries based on a given criterion.
The goal of Hilbert II, which is in the tradition of Hilbert's program, is the creation of a system that enables a working mathematician to put theorems and proofs (in the formal language of predicate calculus) into it. These proofs are automatically verified by a proof checker. Because this system is not centrally administered and enables references to any location on the Internet, a world wide mathematical knowledge base could be built. It also contains information in "common mathematical language".
The TeXlipse plugin adds LaTeX editing support to the Eclipse IDE. It provides both LaTeX and BibTeX editors, a project creation wizard, and a complete user manual of the editor functions. Additional features include syntax highlighting, document outline, section folding, command completion, cite and ref completion, templates, builder integration, viewer integration with inverse search, and more. The plugin makes it possible for LaTeX documents to be edited and built like normal projects in an IDE, and the viewer support makes it easy to check the outcome.
LaTeX::Table is a Perl module that provides functionality for an intuitive generation of LaTeX tables. It ships with some predefined, good-looking table styles. This module supports multi-page tables via the xtab and longtable LaTeX packages. For publication quality tables, it utilizes the booktabs package. It also supports the tabularx and tabulary packages for nicer fixed-width tables. Furthermore, it supports the colortbl package for colored tables optimized for presentations. The ltpretty program makes it easy to use this module from within a text editor such as Vim or emacs.
Karaoke con SMIL is a project to synchronize audio, text, and images and export the final result to SMIL, which can be played in multimedia players such as Real Player, Helix Player, Ambulant Player, etc. on several devices (computers, mobile phones, PDAs, etc.). In short, this application synchronizes the multimedia elements in a way similar to karaoke.