https://github.com/oleks/fptp-teller

A tally system for First Past The Post elections.
https://github.com/oleks/fptp-teller

Last synced: 7 days ago
JSON representation

A tally system for First Past The Post elections.

• Host: GitHub
• URL: https://github.com/oleks/fptp-teller
• Owner: oleks
• Created: 2013-07-05T14:12:42.000Z (over 11 years ago)
• Default Branch: master
• Last Pushed: 2013-12-07T15:06:44.000Z (almost 11 years ago)
• Last Synced: 2024-10-09T23:10:04.205Z (28 days ago)
• Language: TeX
• Size: 1.15 MB
• Stars: 1
• Watchers: 4
• Forks: 0
• Open Issues: 2
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
A [first past the post][0] (FPTP) election is won by the candidate(s) with a

majority of the votes. The majority may be relative (most votes) or absolute (>

50%). In systems requiring an absolute majority, runoff elections may be held

if no candidate attains such a majority in the first round. A voter may vote

for exactly one candidate, typically in an anonymous manner.

FPTP is most common in states that descended from the British and French

Empires, e.g. UK, United States, Canada, India. It is the second most widely

used election system in the world, after [party-list proportional

representation][1] (PLPR). Roughly speaking, FPTP is often used for head of

state elections, while PLPR is often used for parliamentary elections. FPTP can

be used for parliamentary elections through the use of single-member elective

districts.

Once the votes have been cast, a mission critical process is necessary to count

the votes. This is done by a tally system. The purpose of this project is to

design an open source automated tally system for FPTP elections, formally

specified in [Z][2], implemented and verified in [SPARK][3].

[0]: http://en.wikipedia.org/wiki/First_past_the_post

[1]: http://en.wikipedia.org/wiki/Party-list_proportional_representation

[2]: http://en.wikipedia.org/wiki/Z_notation

[3]: http://en.wikipedia.org/wiki/SPARK_(programming_language)

## Licence ##

Copyright (c) 2013 Oleksandr Shturmov.

Licenced under the EUPL, Version 1.1 only.

You may obtain a copy of the Licence at:

http://joinup.ec.europa.eu/software/page/eupl/licence-eupl