This site is the home of:

• ProofTools, a freely downloadable cross-platform software tool for automatically and graphically validating logical proofs.
• The Treeview skin for MediaWiki, adding a treeview component to MediaWiki-powered wikis for hierarchical browsing of the site's content.
• An XKCD-inspired script to check how many links it takes to reach the Philosophy article on Wikipedia from any arbitrary article.