Another drawing editor for LaTeX with PSTricks & TikZ
Vector drawing program for LaTeX using PSTricks
Convert a latex document using the input directive to a single file.
A scientific document recognition system
proof verifier for mathematical proofs and documentation generator