tools Miscellaneous software tools that are used by the MARS team. election-system Software used to speed up executive elections at general meetings.