Vector drawing program for LaTeX using PSTricks
Convert a latex document using the input directive to a single file.
A documentation and report generator for systems biological models
JabRef is a graphical application for managing bibliographical data
proof verifier for mathematical proofs and documentation generator
Hand Written Equation Creator