A collection of repositories related to the formalization of electronic voting protocols in EasyCrypt.