A tool for performing Quantum Chemistry calculations
OntoComP is a Protégé 4 plug-in for completing OWL ontologies
Script for OpenOffice/LibreOffice to convert tables to Latex-Code
The LaTeX Equation Editor
proof verifier for mathematical proofs and documentation generator
LaTeX, AscciMath and MathML editor developed in Javascript and HTML
is a Qt program to generate SMD chip shooter code
C++ Airline Travel Solution Provider