RSS 1 project tagged "voting"

Download Website Updated 17 Jun 2010 Votail

Screenshot
Pop 22.98
Vit 38.96

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.

Screenshot

Project Spotlight

Aspose.Imaging for Java

An image processing and manipulation component.

Screenshot

Project Spotlight

libntru

A C implementation of NTRUEncrypt.