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