Votail is an implementation of Ireland's method of Proportional Representation by Single Transferable Vote (PRSTV). The functional requirements derived from Irish electoral law are specified using Business Object Notation (BON) and the Java Modeling Language (JML). Formal methods have been used to verify the correctness of the software.
Vote-MM aims to improve current Mailman mailing lists with some Web 2.0 time-saving functionality (RSS and voting capabilities). It adds support for RSS to Mailman. The mail footer is modified to include voting links. A new Web app for reading mail/voting is provided. A Mozilla Thunderbird plug-in is also provided, so users can vote and see voting information.
Dudle is an online scheduling application. Users are able to schedule events (such as telephone conferences and meetings) or run opinion polls (for example, to find out which sort of coffee people like the most). Unlike most other similar applications, Dudle offers enhanced access control settings, which minimizes trust assumptions in the polling server.