proof verifier for mathematical proofs and documentation generator
In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started.
SYMPLiK RANGEHOOD is a Javadoc-like tool for Oracle database. This pure-Java program "sucks up" data dictionary and object source code from database and generate document for Tables, Views, Triggers, Packages, Procedures, Functions, and others.
This tool enables you to produce a LaTeX (standard, no extension required) report for database objects (tables, views, indexes, functions, primary/foreign keys, columns, types, keywords, system functions) thanks to the JDBC Api.
code2web is a toolkit for converting source code (Java,JavaScript,XML,JSP,SQL and more) to HTML with a wide array of features, including CSS customization, outline generation, automatic documentation liking, selective highlighting and more.
Tracks project details using a variety of data options. Primarily designed to contain and organize software requirements in a multi-project, multi-user, environment using a networked SQL compliant database management system while tracking changes.