proof verifier for mathematical proofs and documentation generator
KnowWE has moved, please see http://d3web.sourceforge.net
Xaraya is a web application framework and CMS written in PHP.
This is a base PHP framework for making simple websites with clean URL