GitHub is home to over 36 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.
Bot for MediaWiki projects: checks & corrects broken transclusions
Small Wikisource gadget to make a general, mundane proofreading pre-cleanup in one click
Tool allowing to find mistakes in WikiCode easily