Mark Stephen Sobkow's Code Factory
Middleware for distributed applications
Free software for generating understandable and accurate fuzzy systems
S-Match is a semantic matching framework.
proof verifier for mathematical proofs and documentation generator
KnowWE has moved, please see http://d3web.sourceforge.net