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.