The source code of Algebrarules.com (a work in progress).