Tools, Library and GUI for doing Wiki related tasks, and for advanced mining, browsing and searching of a wiki