Web-based knowledge base template.
Free software for generating understandable and accurate fuzzy systems
The scalable open source tool for lean and agile project management
MindRaider is a personal notebook and outliner.
S-Match is a semantic matching framework.
proof verifier for mathematical proofs and documentation generator
This is a base which stores knowledge in the form of nested sets
Pandora is an artificial intelligent web based bot
KnowWE has moved, please see http://d3web.sourceforge.net
GRAPPLE-Generic Responsive Adaptive Personalized Learning Environment