We have written a full implementation of the statutory PR-STV counting rules found in the Electoral Act 1992.
PRSTV Counting Software: This is the VBA code used to count the ballotbox.ie polls for GE 2011 and Presidential 2011. October 2011
Excel spreadsheet with VB code (1.3 Mb)
Below are submissions made and articles written by Joe McCarthy in relation to the Irish Evoting system.
Testing, Accuracy and Secrecy of the Powervote Nedap Electronic Voting System. March 2004
Test Results of the Powervote Nedap Electronic Voting System. April 2004