A repo for exploring the software quality of electronic voting machines - View it on GitHub