Asymptote is a powerful descriptive 2D and 3D vector graphics language for technical drawing, inspired by MetaPost but with an improved C++-like syntax. It provides for figures the same high-quality level of typesetting that LaTeX does for scientific text. Asymptote is a programming language as opposed to just a graphics program. It can exploit the best features of script (command-driven) and graphical user interface (GUI) methods. High-level graphics commands are implemented in the language itself, allowing them to be easily tailored to specific applications.

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.

LyX is a document processor that encourages an approach to writing based on the structure of your documents, not their appearance. It is intended for people people who write and want their writing to look great without tinkering with formatting details, font attributes, or page boundaries. On screen, it looks like any word processor, but it uses the TeX engine for printed output and producing richly cross-referenced PDFs. It is stable and fully featured.

tex-upmethodology provides a complete set of
LaTeX styles that permit you to write documents
according to a UP-based methodology. Its major
features are document history, task management,
design and specification documentation, and
helping tools. tex-upmethodology is officially supported by CTAN.

GNU TeXmacs is a free wysiwyw (what you see is what you want) editing platform with special features for scientists. The software aims to provide a unified and user friendly framework for editing structured documents with different types of content: text, mathematics, graphics, interactive content. TeXmacs can also be used as an interface to many external systems for computer algebra, numerical analysis, and statistics. New presentation styles can be written by the user and new features can be added to the editor using Scheme.

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.

TeX Live is an easy way to get up and running with
TeX. It provides a comprehensive TeX system with
binaries for most flavors of Unix, including
GNU/Linux, and also Windows. It includes all the
major TeX-related programs, macro packages, and
fonts that are free software, including support
for many languages around the world.

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".